马克·维尼亚尔斯;简·埃尔弗斯;詹·约翰森;雅各布诺德斯特伦 通过提升简化并改进了常规分辨率和常规分辨率之间的分离。 (英语) Zbl 07331021号 Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12178, 182-200 (2020).MSC公司:第68季度25 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Vinyals}等人,Lect。注释计算。科学。12178,182-200(2020;Zbl 07331021) 全文: 内政部
简·埃尔弗斯;詹·约翰森;马西莫·劳里亚;托马斯·马格纳德;雅各布诺德斯特伦;马克·维尼亚尔斯 CDCL SAT求解器的更紧密模型中时间和内存之间的权衡。 (英语) Zbl 1475.68343号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 160-176 (2016).MSC公司:68T20型 68T05型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Elffers}等人,Lect。注释计算。科学。9710,160--176(2016;Zbl 1475.68343) 全文: 内政部 链接
Samuel R.巴斯。;简·霍夫曼;詹·约翰森 带引理的解析树:通过子句学习对DLL算法进行解析优化。 (英语) Zbl 1159.03009号 日志。计算方法。科学。 4,第4期,论文13,28页(2008年).MSC公司:03B35型 20层03 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}等人,日志。计算方法。科学。4,第4号,第13号文件,第28页(2008年;兹bl 1159.03009) 全文: 内政部
迈克尔·阿列克诺维奇;詹·约翰森;托尼安·皮塔西;阿拉斯代尔·厄克哈特 常规分辨率和一般分辨率之间的指数分离。 (英语) Zbl 1213.68303号 理论计算。 3,论文编号:5,81-102(2007).MSC公司:2017年第68季度 20层03 PDF格式BibTeX公司 XML格式引用 \textit{M.Alekhnovich}等人,《理论计算》。3,论文编号5,81-102(2007;Zbl 1213.68303) 全文: 内政部
詹·约翰森 纯文字消除的复杂性。 (英语) Zbl 1109.68050号 J.汽车。推理 35,编号1-3,89-95(2005).MSC公司:第68季度25 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.约翰森},J.Autom。推理35,No.1--3,89-95(2005;Zbl 1109.68050) 全文: 内政部