弗朗西斯科·利奥芬特 OMTPlan：优化规划模块理论的工具。 （英语） Zbl 1523.68092号 J.满意。布尔模型。计算。 14, 17-23 (2023)。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛F.Leofante｝，J.满意。布尔模型。计算。14、17-23（2023年；Zbl 1523.68092） 全文： 内政部
尤利亚·利勒 什么是命题可满足性的答案集编程。 （英语） Zbl 1423.68483号 约束条件 22，第3号，307-337（2017）。MSC公司：68T27型 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lierler}，约束22，No.3，307--337（2017；Zbl 1423.68483） 全文： 内政部
约翰·费希特。；斯泽德，斯特凡 析取逻辑程序的正常后门。 （英语） Zbl 1367.68032号 ACM事务处理。计算。日志。 17，第1号，第7条，第23页（2015年）。MSC公司：68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}和\textit{S.Szeider}，ACM Trans。计算。日志。17，第1号，第7条，23页（2015；Zbl 1367.68032） 全文： 内政部 arXiv公司
马丁·盖布瑟；汤米·詹胡宁；尤西·林塔南 SAT模图：无环性。 （英语） Zbl 1432.68328号 Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8761, 137-151 (2014).MSC公司：68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，Lect。票据计算。科学。8761，137--151（2014；Zbl 1432.68328） 全文： 内政部
史蒂文·肖卡特；杰罗·扬森；德克·维尔梅尔 作为有限约束满足的Ł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） 全文： 内政部