Järvisalo,马蒂;阿明·比尔;Heule,Marijn J.H。 在CNF上模拟电路级简化。 (英语) Zbl 1267.94144号 J.汽车。推理 49,第4期,583-619(2012).MSC公司:94立方厘米 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \文本{M.Järvisalo}等人,J.Autom。推理49,第4期,583–619(2012年;Zbl 1267.94144) 全文: 内政部
陶,贾;乔拉·斯卢茨基;瓦桑特·霍纳瓦尔 PS(聚苯乙烯)步伐非循环模型化的tableau算法({mathcal{ALC}})。 (英语) 兹比尔1291.68387 J.汽车。推理 49,第4期,551-582(2012).MSC公司:68T27型 03B42号 03B35型 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Tao}等人,J.Autom。推理49,No.4,551--582(2012;Zbl 1291.68387) 全文: 内政部
史蒂文·肖卡特;杰罗·扬森;德克·维尔梅尔 作为有限约束满足的Łukasiewicz逻辑中的可满足性检查。 (英语) Zbl 1315.03035号 J.汽车。推理 49,第4期,493-550(2012).MSC公司:03B50 03B52号 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}等人,J.Autom。推理49,No.4,493--550(2012;Zbl 1315.03035) 全文: 内政部