×

找到122个文档（结果1-100）

最新的 引文 关联
维克拉曼·阿尔文德;文凯特桑·古鲁斯瓦米

子空间中的CNF可满足性及相关问题。 （英语） Zbl 07803583号

Golovach，Petr A.（编辑）等人，第16届参数化和精确计算国际研讨会，IPEC 2021，葡萄牙里斯本，2021年9月8日至10日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。214，第5条，第15页（2021年）。
MSC公司：65年第68季度 第68季度27 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{V.Arvind}和\textit{V.Guruswami}，LIPIcs——莱布尼茨国际程序。通知。214，第5条，第15页（2021；Zbl 07803583）
全文： 内政部
巴托什·贝德纳尔奇克;或者Majałowska;安娜·帕卡努斯卡;Tan，Tony（托尼·谭）

关于用百分数和算术扩展的经典可判定逻辑。 （英语） Zbl 07799614号

Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。213，第36条，第15页（2021年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.Bednarczyk}等人，LIPIcs——莱布尼茨国际程序。通知。213，第36条，第15页（2021；Zbl 07799614）
全文： 内政部 arXiv公司
阿奇利奥普塔斯，迪米特里斯;阿明·科贾·奥格伦;马克斯·哈恩·克里姆罗斯;Lee，Joon;穆勒，诺拉;曼努埃尔·彭舒克;周广燕

随机2-SAT公式的满意赋值数。 （英语） Zbl 1522.68375号

随机结构。算法 58，第4号，609-647（2021）.
MSC公司：68兰特 60F05型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Achlioptas}等人，《随机结构》。算法58，No.4，609--647（2021；Zbl 1522.68375）
全文： 内政部
OA许可证
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉

Pspace-子区间和后缀的时间逻辑的完整性。 （英语） 兹比尔07744952

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。206，第9条，第19页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。206，第9条，第19页（2021；兹bl 07744952）
全文： 内政部
穆罕默德·赛义法·穆菲德;安德烈亚·米凯利;亚历山德罗·阿巴特;亚历山德罗·西马蒂

基于SMT的max-plus线性系统模型检验。 （英语） Zbl 07730624号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。203，第22条，第20页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Mufid}等人，LIPIcs——莱布尼茨国际程序。通知。203，第22条，20 p.（2021；Zbl 07730624）
全文： 内政部
乔治·默齐奥斯（George B.Mertzios）。;亨德里克·莫尔特;马尔特·伦肯;保罗·G·斯皮拉基斯。;菲利普·兹乔什

传递定向时序图的复杂性。 （英语） Zbl 07724248号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。202，第75条，第18页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.B.Mertzios}等人，LIPIcs——莱布尼茨国际程序。通知。202，第75条，第18页（2021；Zbl 07724248）
全文： 内政部 arXiv公司
尼古拉斯·马尔曼;塞巴斯蒂安·西贝茨;亚历山大·维格尼

SAT的递归后门。 （英语） Zbl 07724246号

Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。202，第73条，第18页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Mählmann}等人，LIPIcs——莱布尼茨国际程序。通知。202，第73条，第18页（2021；Zbl 07724246）
全文： 内政部 arXiv公司
玛丽·福廷;Louwe B.Kuijer。;帕特里克·托茨克;马丁·齐默尔曼

HyperLTL可满足性是（\Sigma_1^1）-完成的，HyperCTL（^*）可满足性则是（\Sigma_1 ^2）-完成。 （英语） Zbl 07724220号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。202，第47条，第19页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Fortin}等人，LIPIcs——莱布尼茨国际程序。通知。202，第47条，第19页（2021；Zbl 07724220）
全文： 内政部 arXiv公司
保罗·巴尔丹;阿尔贝托·卡拉罗;托马索·帕多安

（Un）保留历史的真正并发逻辑的可判定性。 （英语） Zbl 07724186号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。202，第13条，第16页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，LIPIcs——莱布尼茨国际程序。通知。202，第13条，第16页（2021；Zbl 07724186）
全文： 内政部
格纳滕科，A.R。;扎哈罗夫，V.A。

关于线性时间-时间逻辑的一个参数化扩展的可满足性和模型检验。 （俄语。英文摘要） Zbl 1517.68237号

模型。分析。Inf.姐妹。 28，第4号，356-371（2021）.
MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Gnatenko}和\textit{V.A.Zakharov}，模型。分析。Inf.姐妹。28，编号4，356--371（2021；Zbl 1517.68237）
全文： 内政部 MNR公司
彼得·赫特林;吉塞拉·克罗姆斯

EXPSPACE-逻辑（K4\乘以S5\）和（S4\乘以S5 \）的完整性以及子集空间的逻辑。 （英语） Zbl 1505.03053号

ACM事务处理。计算。日志。 22，第4条，第24条，71页（2021年）.
MSC公司：03B45号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Hertling}和\textit{G.Krommes}，ACM Trans。计算。日志。22，第4号，第24条，71页（2021；Zbl 1505.03053）
全文： 内政部
科里安·图利耶;卡罗琳·巴罗克;亚历山大·博克迈尔;卢多维奇·科特雷特;洛伊奇·波列维;安妮·西格尔

在调节代谢网络中学习布尔控制：一个案例研究。 （英语） Zbl 1491.92055号

Cinquemani，Eugenio（编辑）等人，《系统生物学中的计算方法》。第19届国际会议，CMSB 2021，波尔多，法国，2021年9月22日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12881, 159-180 (2021).
MSC公司：92C40型 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Thuiller}等人，莱克特。注释计算。科学。12881159--180（2021年；Zbl 1491.92055）
全文： 内政部 哈尔
迈克尔·劳森;贾尔斯·里格尔

在模型消除过程中消除模型。 （英语） Zbl 07532520号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。2021年9月6日至9日，第30届国际会议，TABLEUX 2021，英国伯明翰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 250-265 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Rawson}和\textit{G.Reger}，莱克特。注释计算。科学。12842，250-265（2021；Zbl 07532520）
全文： 内政部
米罗斯拉夫·乔迪尔;安东·库切拉

PCTL定量片段的可满足性问题。 （英语） Zbl 07530230号

Bampis，Evripidis（编辑）等人，《计算理论基础》。第23届国际研讨会，FCT 2021，希腊雅典，2021年9月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12867149-161（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Chodil}和\textit{A.Kučera}，莱克特。注释计算。科学。12867、149--161（2021；Zbl 07530230）
全文： 内政部 arXiv公司
都铎Jebelean

中用于初等分析的启发式证明器枣灰蝶属. （英语） Zbl 1485.68284号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，第14届国际会议，CICM 2021，罗马尼亚蒂米索阿拉。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 130-134 (2021).
MSC公司：68伏15 26-01 68T20型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Jebelean}，莱克特。注释计算。科学。12833，130-134（2021；Zbl 1485.68284）
全文： 内政部
瓦伦丁·卡巴内茨;萨金·科洛特;卢振健;Myrisiotis、Dimitrios;Igor C.奥利维拉。

低通信叶门的De Morgan公式的算法和下限。 （英语） Zbl 1495.68064号

ACM事务处理。计算。理论 第13条第4款第23条第37页（2021年）.
MSC公司：2006年第68季度 2011年第68季度 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{V.Kabanets}等人，ACM Trans。计算。理论13，第4条，第23条，第37页（2021年；Zbl 1495.68064）
全文： 内政部 arXiv公司
雅罗斯拉夫·本迪克;Kuldeep S.梅尔。

计算最小不可满足子集。 （英语） Zbl 1493.68259号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 313-336 (2021).
MSC公司：68兰特 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Bendík}和\textit{k.S.Meel}，莱克特。注释计算。科学。12760313--336（2021年；Zbl 1493.68259）
全文： 内政部
德扬·约瓦诺维奇;布鲁诺·杜特雷

非线性算法的插值和模型检查。 （英语） Zbl 1493.68212号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 266-288 (2021).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Jovanović}和\textit{B.Dutertre}，莱克特。注释计算。科学。12760266--288（2021年；Zbl 1493.68212）
全文： 内政部 arXiv公司
特里莫斯卡，莫尼卡;吉尔·迪肯;索丽娜·爱奥尼卡

使用WDSat进行逻辑密码分析。 （英语） 兹伯利07495597

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 545-561 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Trimoska}等人，Lect。注释计算。科学。12831545--561（2021；Zbl 07495597）
全文： 内政部 哈尔
尤拉吉·西奇;斯特雷切克，简

DQBDD：一种高效的基于BDD的DQBF求解器。 （英语） Zbl 07495596号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831535-544（2021）。
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Síč}和textit{J·斯特雷奇克}，莱克特。注释计算。科学。12831535--544（2021；Zbl 07495596）
全文： 内政部
多米尼克·施赖伯;彼得·桑德斯

云中可扩展的SAT解决方案。 （英语） Zbl 07495595号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 518-534 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Schreiber}和\textit{P.Sanders}，莱克特。注释计算。科学。12831518--534（2021；Zbl 07495595）
全文： 内政部 链接
Franz-Xaver Reichl;弗里德里希·斯利沃夫斯基;斯泽德，斯特凡

通过定义提取认证DQBF解决方案。 （英语） Zbl 07495594号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 499-517 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{F.-X.Reichl}等人，Lect。注释计算。科学。12831499--517（2021；Zbl 07495594）
全文： 内政部 arXiv公司
皮·马蒂厄;穆罕默德·萨米·谢里夫;贾马尔·哈贝特

Max-SAT的校对生成器。 （英语） Zbl 07495593号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 488-498 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Py}等人，Lect。注释计算。科学。12831488--498（2021；Zbl 07495593）
全文： 内政部 哈尔
尼古拉斯·普雷沃特;索斯，马特;Kuldeep S.梅尔。

利用GPU在并行SAT解决中实现有效的子句共享。 （英语） Zbl 07495592号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 471-487 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Prevot}等人，Lect。注释计算。科学。12831471--487（2021；Zbl 07495592）
全文： 内政部
尼基尔·皮姆帕尔切尔;费德里科·莫拉;伊丽莎白·波尔格林;Sanjit A.Seshia。

MedleySolver：在线SMT算法选择。 （英语） Zbl 07495591号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 453-470 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Pimpalkhare}等人，Lect。注释计算。科学。12831453-470（2021；Zbl 07495591）
全文： 内政部 链接
彭俊强;肖明宇

基于公式长度的SAT快速算法。 （英语） Zbl 07495590号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 436-452 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Peng}和\textit{M.Xiao}，Lect。注释计算。科学。12831436--452（2021；Zbl 07495590）
全文： 内政部 arXiv公司
沃伊切赫·纳罗基;刘振军;安德烈亚斯·弗里奇;马里恩·赫勒。;阿明·比尔

布尔布伦特方程的异或局部搜索。 （英语） Zbl 07495589号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 417-435 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{W.Nawrocki}等人，Lect。注释计算。科学。12831417--435（2021；Zbl 07495589）
全文： 内政部
斯特凡·门格尔;弗里德里希·斯利沃夫斯基

符号QBF推理的证明复杂性。 （英语） Zbl 07495588号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 399-416 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Mengel}和\textit{F.Slivovsky}，莱克特。注释计算。科学。12831399--416（2021；Zbl 07495588）
全文： 内政部 arXiv公司
诺伯特·曼恩

这个合并卫星解算器。 （英语） Zbl 07495587号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831287-398（2021年）。
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Manthey}，莱克特。注释计算。科学。12831387--398（2021；Zbl 07495587）
全文： 内政部
马凯·曼;阿玛莉·威尔逊;尤尼·佐哈尔;林赛·特恩茨;艾哈迈德·埃尔凡;克里斯托弗·布朗;卡勒布·多诺维克;阿利森·古曼;塞萨尔·蒂内利;克拉克·巴雷特

Smt-Switch：用于Smt解决的与解决方案无关的C++API。 （英语） 兹比尔07495586

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 377-386 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Mann}等人，Lect。注释计算。科学。12831377--386（2021；Zbl 07495586）
全文： 内政部 arXiv公司
李春晓;乔纳森·钟;穆克吉、索姆;马克·维尼亚尔斯;诺亚·弗莱明;安东尼娜·科洛科洛娃;艾丽斯·穆伊;维杰·加内什

实用布尔公式的层次社区结构。 （英语） Zbl 07495585号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 359-376 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Li}等人，Lect。注释计算。科学。12831359--376（2021；Zbl 07495585）
全文： 内政部 arXiv公司
马丁·马吕斯·莱斯特

使用伪布尔约束调度麻将比赛。 （英语） Zbl 07495584号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 349-358 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\发短信{M.M.Lester}，Lect。注释计算。科学。12831349--358（2021；Zbl 07495584）
全文： 内政部 链接
雷振东;蔡少伟;罗，川;霍尔格·胡斯

伪布尔优化的高效局部搜索。 （英语） Zbl 07495583号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 332-348 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Lei}等人，Lect。注释计算。科学。12831332-348（2021年；兹bl 07495583）
全文： 内政部 链接
丹尼尔·勒贝雷;罗曼·沃伦

PB解决方案的专用CDCL策略。 （英语） Zbl 07495582号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 315-331 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Le Berre}和\textit{R.Wallon}，Lect。注释计算。科学。12831、315--331（2021；Zbl 07495582）
全文： 内政部 arXiv公司
奥利弗·库尔曼;奥列格·扎金

求和与乘积之间二元分支的投影启发法。 （英语） Zbl 07495581号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 299-314 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{O.Kullmann}和\textit{O.Zaikin}，莱克特。注释计算。科学。12831299--314（2021；Zbl 07495581）
全文： 内政部
反向链接： 卫生官员
斯蒂芬·科切马佐夫;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵

通过增量SAT镜头评估SAT求解器的进展。 （英语） Zbl 07495580号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 280-298 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kochemazov}等人，Lect。注释计算。科学。12831280-298（2021；Zbl 07495580）
全文： 内政部
Jin、Jiwei;吕一琪;葛存静;马，菲菲;张健

通过满意度测试研究Costas拉丁方的存在性。 （英语） Zbl 07495579号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 270-279 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Jin}等人，Lect。注释计算。科学。12831270--279（2021；Zbl 07495579）
全文： 内政部
阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵

基于SAT的决策列表的严格解释。 （英语） 兹比尔07495578

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 251-269 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ignatiev}和\textit{J.Marques-Silva}，莱克特。注释计算。科学。12831251--269（2021；Zbl 07495578）
全文： 内政部 arXiv公司
诺伯特·亨德斯哈根;马丁·兰格;乔治·西伯特

DiMo–使用命题逻辑的离散建模。 （英语） Zbl 07495577号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 242-250 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Hundeshagen}等人，Lect。注释计算。科学。12831、242--250（2021；Zbl 07495577）
全文： 内政部
黄培;李润东;刘明浩;马，菲菲;张健

模态逻辑S5的高效基于SAT的最小模型生成方法。 （英语） Zbl 07495576号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 225-241 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Huang}等人，Lect。注释计算。科学。12831225-241（2021；Zbl 07495576）
全文： 内政部
马里恩·赫勒。

汉密尔顿圈的中国余数编码。 （英语） Zbl 07495575号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 216-224 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.J.H.Heule}，莱克特。注释计算。科学。12831、216——224（2021；Zbl 07495575）
全文： 内政部
米基·赫尔曼;格诺·萨尔泽

MCP：通过可满足性捕获大数据（工具描述）。 （英语） Zbl 07495574号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 207-215 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.赫尔曼}和\textit{G.萨尔泽}，莱克特。注释计算。科学。12831、207--215（2021；Zbl 07495574）
全文： 内政部 哈尔
托拜厄斯·弗里德里希;弗兰克·诺伊曼;罗森伯格（Ralf Rothenberger）;安德鲁·萨顿（Andrew M.Sutton）。

贪婪地求解非均匀种植和过滤的随机SAT公式。 （英语） Zbl 07495573号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 188-206 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Friedrich}等人，Lect。注释计算。科学。12831、188--206（2021；Zbl 07495573）
全文： 内政部
马蒂亚斯·弗勒里;阿明·比尔

高效的全UIP学习子句最小化。 （英语） Zbl 07495572号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 171-187 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Fleury}和\textit{A.Biere}，莱克特。注释计算。科学。12831171--187（2021；Zbl 07495572）
全文： 内政部 链接
杰弗里·杜德克。;Vu H.N.Phan。;莫舍·瓦尔迪。

ProCount：使用分级项目连接树进行加权投影模型计数。 （英语） Zbl 07495571号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 152-170 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\文本{J.M.Dudek}等人，Lect。注释计算。科学。12831152-170（2021；Zbl 07495571）
全文： 内政部
保利乌斯·迪尔卡斯;瓦夏克·贝勒

无参数变量的加权模型计数。 （英语） Zbl 07495570号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 134-151 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Dilkas}和\textit{V.Belle}，莱克特。注释计算。科学。12831、134--151（2021；Zbl 07495570）
全文： 内政部 链接
亚历克西斯·德·科尔内;斯特凡·门格尔

用短正则分辨率反驳刻画谢廷公式。 （英语） Zbl 07495569号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 116-133 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.de Colnet}和\textit{S.Mengel}，莱克特。注释计算。科学。12831、116--133（2021；Zbl 07495569）
全文： 内政部 arXiv公司
勒罗伊·周

模NP的QBF证明系统的硬度和最优性。 （英语） Zbl 07495568号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 98-115 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。12831，98-115（2021；Zbl 07495568）
全文： 内政部
Henrik曹

SAT解算器中基于散列的预处理和内处理技术。 （英语） Zbl 07495567号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 82-97 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{H.Cao}，莱克特。注释计算。科学。12831，82-97（2021；Zbl 07495567）
全文： 内政部
蔡少伟;张新迪

CDCL与SAT本地搜索的深度合作。 （英语） Zbl 07495566号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 64-81 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Cai}和\textit{X.Zhang}，Lect。注释计算。科学。12831、64-81（2021；Zbl 07495566）
全文： 内政部
本杰明·伯姆;拜尔斯多夫，奥拉夫

通过公式规范的QCDCL的下限。 （英语） Zbl 07495565号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 47-63 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛B.Böhm｝和\textit｛O.Beyersdorff｝，Lect。注释计算。科学。12831，47-63（2021；Zbl 07495565）
全文： 内政部
乔舒亚·布林霍恩;汤姆·佩特尔;弗里德里希·斯利沃夫斯基

Davis和Putnam与Henkin会面：解决DQBF问题。 （英语） Zbl 07495564号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 30-46 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Blinkhorn}等人，Lect。注释计算。科学。12831，30--46（2021；Zbl 07495564）
全文： 内政部
拜尔斯多夫，奥拉夫;卢卡·普利纳;马蒂娜·塞德尔;安吉特·舒克拉

QBFFam：从证明复杂性生成QBF族的工具。 （英语） Zbl 07495563号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 21-29 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{O.Beyersdorff}等人，Lect。注释计算。科学。12831，21-29（2021；Zbl 07495563）
全文： 内政部
卡洛斯·安索特吉;Josep Pon先生;梅诺尔夫·塞尔曼;凯文·蒂尔尼

PyDGGA：用于自动配置的分布式GGA。 （英语） Zbl 07495562号

Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 11-20 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Ansótegui}等人，Lect。注释计算。科学。12831，11--20（2021；Zbl 07495562）
全文： 内政部
亚历山大·塞梅诺夫;伊利亚·奥普申尼科夫;基里尔·安东诺夫

基于（1+1）进化算法的合并变量的一些变体及其在MaxSAT问题中的应用。 （英语） Zbl 1487.90483号

Pardalos，Panos（编辑）等人，《数学优化理论与运筹学》。2021年7月5日至10日在俄罗斯伊尔库茨克举行的第20届MOTOR 2021国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12755, 111-124 (2021).
MSC公司：90立方厘米 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{A.Semenov}等人，Lect。注释计算。科学。12755111-124（2021年；Zbl 1487.90483）
全文： 内政部
艾克拉姆·奈卡奇;赛义德·贾布尔;拉赫达尔·赛斯;纳德杰特·卡梅尔

面向项集挖掘任务的紧凑的基于SAT的编码。 （英语） Zbl 07493628号

Stuckey，Peter J.（编辑），约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5日至8日，奥地利维也纳，CPAIOR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12735, 163-178 (2021).
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{I.Nekkache}等人，Lect。注释计算。科学。12735、163--178（2021；Zbl 07493628）
全文： 内政部
尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻

多时间尺度生物网络的算法约简。 （英语） Zbl 1484.13058号

数学。计算。科学。 15，第3期，499-534（2021）.
审核人：哈米德·拉科伊（萨尔布吕肯）
MSC公司：13页第10页 68瓦30 34E15号机组 第37页第10页 92C45型
PDF格式BibTeX公司 XML格式引用
\textit{N.Kruff}等人，数学。计算。科学。15，编号3，499–534（2021；兹bl 1484.13058）
全文： 内政部 arXiv公司
坎通纳，多梅尼科;安德烈亚·德·多梅尼科;皮埃特罗·毛吉里;尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。

集合论可判定片段的复杂性评估。一： 布尔案例的分类。 （英语） Zbl 1498.03112号

芬丹。通知。 181，编号1，37-69（2021）.
MSC公司：03E30年 03B25号 03B35型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Fundam。通知。181，编号1，37--69（2021；Zbl 1498.03112）
全文： 内政部
Le，Quang Loc公司

分离逻辑中的组合可满足性求解。 （英语） Zbl 1472.03025号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 578-602 (2021).
MSC公司：03B70号 03B25号 68T20型
PDF格式BibTeX公司 XML格式引用
\文本｛Q.L.Le｝，Lect。注释计算。科学。12597，578--602（2021；Zbl 1472.03025）
全文： 内政部 链接
Aluf Medina，米歇尔;科尔滕·蒂尔;阿夫拉罕·拉维夫;Dan V.jun尼古拉。;希勒尔·库格勒

基于网络的生物计算电路的形式语义和验证。 （英语） Zbl 1472.68057号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 464-485 (2021).
MSC公司：2007年第68季度 2006年第68季度 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Aluf-Medina}等人，Lect。注释计算。科学。12597、464--485（2021；Zbl 1472.68057）
全文： 内政部
张建民;李铁军;马可凡

通过最小不可满足核提取加速谓词抽象。 （英语） Zbl 1481.68032号

何坤（编辑）等，《理论计算机科学》。2020年11月13日至15日，中国南宁，NCTCS 2020第38届全国会议。修订了选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1352, 3-13 (2021).
MSC公司：60年第68季度 03B70号 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{J.Zhang}等人，Commun。计算。信息科学。1352年3月13日（2021年；Zbl 1481.68032）
全文： 内政部
Randal E.布莱恩特。;马里恩·赫勒。

使用基于BDD的SAT解算器生成扩展的分辨率证明。 （英语） Zbl 1467.68203号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 76-93 (2021).
MSC公司：68伏15 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}和\textit{M.J.H.Heule}，莱克特。注释计算。科学。12651、76-93（2021年；Zbl 1467.68203）
全文： 内政部 arXiv公司
Seulkee Baek先生;马里奥·卡内罗;马里恩·赫勒。

SAT解算器-解算器通信的灵活证明格式。 （英语） Zbl 1467.68159号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651，59-75（2021）。
MSC公司：68T20型 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Baek}等人，Lect。注释计算。科学。12651，59-75（2021；Zbl 1467.68159）
全文： 内政部 arXiv公司
丹尼尔·豪斯曼;卢茨·施罗德

嵌套不动点的拟多项式计算。 （英语） Zbl 1467.68085号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 38-56 (2021).
MSC公司：60年第68季度 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{D.Hausmann}和\textit{L.Schröder}，莱克特。注释计算。科学。12651，38-56（2021年；兹bl 1467.68085）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件