托拜厄斯·阿切特伯格（编辑）；J.克里斯托弗·贝克（编辑） 在组合优化问题的约束规划中集成AI和OR技术。2011年5月23日至27日在德国柏林举行的2011年CPAIOR第八届国际会议。诉讼程序。 （英语） Zbl 1214.68003号 计算机科学课堂讲稿6697.柏林：施普林格出版社（ISBN 978-3-642-21310-6/pbk）。x、 第253页。(2011).MSC公司：68-06 68T20型 90C27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Achterberg}（ed.）和\textit{J.C.Beck}（edi.），组合优化问题约束编程中AI和OR技术的集成。2011年5月23日至27日在德国柏林举行的2011年第八届国际会议。诉讼程序。柏林：施普林格出版社（2011；Zbl 1214.68003） 全文： DOI程序
恩里科·金西格里亚（编辑）；阿曼多·塔切拉（编辑） 满意度测试的理论与应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。 （英语） Zbl 1030.00034号 计算机科学课堂讲稿. 2919. 柏林：斯普林格。xi，530页（2004）。MSC公司：00B25型 68-06 68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}（编辑）和\textit{A.Taccella}（编），可满足性测试的理论和应用。2003年5月5-8日，意大利圣玛格丽塔利古雷，2003年SAT第六届国际会议。选定的修订论文。柏林：施普林格出版社（2004；Zbl 1030.00034） 全文： DOI程序 链接