马丁·马吕斯·莱斯特 使用伪布尔约束调度麻将比赛。 （英语） Zbl 07495584号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12831, 349-358 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Lester}，莱克特。票据计算。科学。12831349--358（2021；Zbl 07495584） 全文： 内政部 链接
尤利亚·利勒 什么是命题可满足性的答案集编程。 （英语） 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） 全文： 内政部
Heule，Marijn J.H。；斯泽德，斯特凡 集团宽度的SAT方法。 （英语） Zbl 1354.68240号 ACM事务处理。计算。日志。 第16号第3条第24条第27页（2015年）.MSC公司：68T20型 05年6月29日 05C75号 05C78号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit｛M.J.H.Heule｝和\textit｛S.Szeider｝，ACM翻译。计算。日志。16，第3号，第24条，第27页（2015；Zbl 1354.68240） 全文： 内政部 arXiv公司
若昂·西尔瓦侯爵；约塞普·阿格利奇；安娜·格拉萨；林奇，因斯 布尔词典优化：算法与应用。 （英语） Zbl 1242.90199号 安。数学。Artif公司。智力。 62，编号3-4，317-343（2011）.MSC公司：90C27型 90C29型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}等人，《数学年鉴》。Artif公司。智力。62，编号3--4，317--343（2011；Zbl 1242.90199） 全文： 内政部 链接
安托尼奥·莫尔加多；若昂·西尔瓦侯爵 最大四重一致性问题的组合优化解。 （英语） Zbl 1214.68364号 芬丹。通知。 102，编号3-4，363-389（2010）.MSC公司：68T20型 90C27型 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Morgado}和\textit{J.Marques-Silva}，Fundam。通知。102，编号3--4，363--389（2010；Zbl 1214.68364） 全文： 链接