乌韦·布贝克;汉斯·克莱恩·勃宁 将嵌套布尔函数编码为量化布尔公式。 (英语) Zbl 1331.68199号 J.满意。布尔模型。计算。 8,编号1-2,101-116(2012).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{U.Bubeck}和\textit{H.Kleine Büning},J.Satisfe。布尔模型。计算。8,编号1--2,101-116(2012;Zbl 1331.68199)
宫崎骏小村;张彤;藤田,广岛;长谷川,龙佐 QMaxSAT:部分最大SAT解算器。 (英语) Zbl 1331.68209号 J.满意。布尔模型。计算。 8,编号1-2,95-100(2012).MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Koshimura}等人,J.Satisf。布尔模型。计算。8,编号1--2,95-100(2012;Zbl 1331.68209)
米科拉什·亚诺塔;林奇,因斯;Vasco Manquinho公司;若昂·西尔瓦侯爵 打包:用于解决软件包可升级性的工具。 (英语) Zbl 1348.68228号 J.满意。布尔模型。计算。 8,编号1-2,89-94(2012).MSC公司:68T20型 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人,J.Satisf。布尔模型。计算。8,编号1-2,89-94(2012年;兹bl 1348.68228)
陈欢;若昂·西尔瓦侯爵 TG-Pro:基于SAT的ATPG系统。 (英语) Zbl 1331.68204号 J.满意。布尔模型。计算。 8,编号1-2,83-88(2012).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}和\textit{J.Marques-Silva},J.Satisf。布尔模型。计算。8,编号1--2,83-88(2012;Zbl 1331.68204)
马赛尔·威德 紧凑地生成Horn公式的所有令人满意的真值赋值。 (英语) Zbl 1348.68233号 J.满意。布尔模型。计算。 8,编号1-2,63-82(2012).MSC公司:68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Wild}、J.Satisfe。布尔模型。计算。8,编号1--2,63-82(2012;Zbl 1348.68233) 全文: arXiv公司
弗朗西斯科·阿尔贝蒂;西尔维奥·吉拉尔迪;埃琳娜·帕加尼;西尔维奥·兰伊斯;吉安·保罗·罗西 模型检验模理论中的通用保护、量词的相对化和失效模型。 (英语) Zbl 1331.68141号 J.满意。布尔模型。计算。 8,编号1-2,29-61(2012).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,J.Satisf。布尔模型。计算。8,编号1--2,29-61(2012年;兹bl 1331.68141)
阿尔贝托·格里乔 一种实用的可满足性模线性整数运算方法。 (英语) Zbl 1331.68207号 J.满意。布尔模型。计算。 8、第1-2、1-27号(2012).MSC公司:68T20型 68吨15 2009年9月90日 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio},J.Satisf(J.满意)。布尔模型。计算。8,编号1--2,1--27(2012;Zbl 1331.68207)