马可·波扎诺；罗伯托·布鲁托梅索；亚历山德罗·西马蒂；汤米·琼蒂拉；西尔维奥·兰伊斯；彼得·范·罗苏姆；罗伯托·塞巴斯蒂亚尼 通过布尔搜索进行有效的理论组合。 （英语） Zbl 1137.68578号 Inf.计算。 204，第10期，1493-1525（2006）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人，《信息计算》。204，第10号，1493-1525（2006；Zbl 1137.68578） 全文： 内政部
马可·波扎诺；罗伯托·布鲁托梅索；亚历山德罗·西马蒂；汤米·琼蒂拉；彼得·范·罗苏姆；斯蒂芬·舒尔茨；罗伯托·塞巴斯蒂亚尼 M（M）路径SAT：SAT和数学决策程序的紧密结合。 （英语） Zbl 1109.68101号 J.汽车。推理 35，编号1-3，265-293（2005）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人，J.Autom。推理35，No.1--3，265--293（2005；Zbl 1109.68101） 全文： 内政部
马可·波扎诺；罗伯托·布鲁托梅索；亚历山德罗·西马蒂；汤米·琼蒂拉；西尔维奥·兰伊斯；彼得·范·罗苏姆；罗伯托·塞巴斯蒂亚尼 通过延迟理论组合实现有效的可满足性模理论。 （英语） Zbl 1081.68610号 Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576335-349（2005）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人，Lect。注释计算。科学。3576、335--349（2005；Zbl 1081.68610） 全文： 内政部
马可·波扎诺；罗伯托·布鲁托梅索；亚历山德罗·西马蒂；汤米·琼蒂拉；彼得·范·罗苏姆；斯蒂芬·舒尔茨；罗伯托·塞巴斯蒂亚尼 线性算术逻辑可满足性的增量分层过程。 （英语） Zbl 1087.68630号 Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440317-333（2005）。MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人，Lect。注释计算。科学。3440317--333（2005；Zbl 1087.68630） 全文： 内政部