马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂亚尼 通过布尔搜索进行有效的理论组合。 (英语) 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) 全文: DOI程序
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂亚尼 米路径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) 全文: DOI程序
马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 布尔电路表方法中的无限制切割与限制切割。 (英语) Zbl 1086.03048号 安。数学。工件。智力。 44,第4期,373-399(2005).MSC公司:20层03 68吨15 68T20型 03B70号 94立方厘米10 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人,《数学年鉴》。工件。智力。44,编号4373-399(2005年;兹bl 1086.03048) 全文: DOI程序