弗朗切斯科·勒奥芬特 OMTPlan:优化规划模块理论的工具。 (英语) Zbl 1523.68092号 J.满意。布尔模型。计算。 14, 17-23 (2023).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Leofate},J.萨蒂斯。布尔模型。计算。14、17-23(2023年;Zbl 1523.68092) 全文: 内政部
丹钦、叶夫根尼;亚历山大·沃尔珀特 CNF中命题公式上的同构-不变距离函数。 (英语) Zbl 1523.68044号 J.满意。布尔模型。计算。 2014年1月14日至15日(2023年).MSC公司:68兰特 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Dantsin}和\textit{A.Wolpert},J.Satisfe。布尔模型。计算。2014年1月15日(2023年;Zbl 1523.68044) 全文: 内政部
詹·约翰森 后门分为两次出现。 (英语) Zbl 1483.68147号 J.满意。布尔模型。计算。 12, 1-15 (2020).MSC公司:68年第27季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.约翰森},J.萨蒂斯。布尔模型。计算。12、1-15(2020年;Zbl 1483.68147) 全文: 内政部
阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;若昂·西尔瓦侯爵 RC2:一个高效的MaxSAT解算器。 (英语) Zbl 1484.68216号 J.满意。布尔模型。计算。 11, 53-64 (2019).MSC公司:68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人,J.Satisf。布尔模型。计算。11、53-64(2019年;Zbl 1484.68216) 全文: 内政部
帕特里克·沙普芬内克;雅各布·托兰 布尔公式和同构的解图。 (英语) Zbl 1484.68146号 J.满意。布尔模型。计算。 10(2016-2019), 37-58 (2019).MSC公司:68兰特 05C60型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Scharpfenecker}和\textit{J.Torán},J.Satisfe。布尔模型。计算。10、37-58(2019年;Zbl 1484.68146) 全文: 内政部
斯里尼瓦桑阿鲁纳查拉姆;伊利亚斯·科齐里亚斯 通过自相关实现难以满足的3-SAT实例。 (英语) Zbl 1484.68145号 J.满意。布尔模型。计算。 10(2016-2019), 11-22 (2016).MSC公司:68兰特 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Arunachalam}和\textit{I.Kotsireas},J.Satisf。布尔模型。计算。10、11-22(2016;Zbl 1484.68145) 全文: 内政部
鲁本·马丁斯;索拉巴·乔希;Vasco Manquinho公司;林奇,因斯 在基于不可满足性的MaxSAT求解中使用增量编码。 (英语) Zbl 1484.68222号 J.满意。布尔模型。计算。 9(2014-2016), 59-81 (2015).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Martins}等人,J.Satisf。布尔模型。计算。9、59-81(2015;Zbl 1484.68222) 全文: 内政部
Konrad W.Schwerdtfeger。 布尔可满足性连通性的计算三分法。 (英语) 兹比尔1327.68137 J.满意。布尔模型。计算。 8(2012-2014),3-4号,173-195(2014).MSC公司:65年第68季度 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.W.Schwerdtfeger},J.Satisfe(满意)。布尔模型。计算。8、编号3--4、173--195(2014;Zbl 1327.68137) 全文: arXiv公司
弗洛伦特·克扎卡拉;马克·梅扎德;伦卡·兹德博罗娃 随机(K)-SAT的重加权信念传播和安静种植。 (英语) Zbl 1322.68182号 J.满意。布尔模型。计算。 8(2012-2014),3-4号,149-171(2014).MSC公司:68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Krzakala}等人,J.Satisfe。布尔模型。计算。8、编号3--4、149-171(2014;Zbl 1322.68182) 全文: arXiv公司
肖恩·韦弗(Sean A.Weaver)。;Katrina J.雷。;维克多·马雷克。;安德鲁·梅耶。;奥尔登·K·沃克。 基于可满足性的集合成员过滤器。 (英语) 兹比尔1322.68187 J.满意。布尔模型。计算。 8(2012-2014),3-4号,129-148(2014).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Weaver}等人,J.Satisfe。布尔模型。计算。8、编号3--4、129-448(2014;Zbl 1322.68187)
Jin、Jiwei;赵西顺 量化广义子句集的分解。 (英语) Zbl 1218.68161号 J.满意。布尔模型。计算。 7,第1期,17-34(2010).MSC公司:68T20型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Jin}和\textit{X.Zhao},J.Satisfe。布尔模型。计算。7、1号、17-34(2010;Zbl 1218.68161)
安蒂·E·J·海瓦·里宁。;汤米·琼蒂拉;伊尔卡·尼梅尔 将子句学习纳入基于网格的随机SAT求解中。 (英语) Zbl 1190.68055号 J.满意。布尔模型。计算。 6,第4期,223-244(2009).MSC公司:68T20型 68T05型 68宽15 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.E.J.Hyvärinen}等人,J.Satisf。布尔模型。计算。6,编号4223-244(2009年;兹bl 1190.68055)
亚历山大·赫特尔;阿拉斯代尔·厄克哈特 输入和单元分辨率的算法和复杂性结果。 (英语) Zbl 1187.68526号 J.满意。布尔模型。计算。 6,编号1-3,141-164(2009).MSC公司:第68页第15页 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hertel}和\textit{A.Urquhart},J.Satisf。布尔模型。计算。6,编号1--3,141-164(2009;Zbl 1187.68526)
克里斯托夫·布赫海姆;乔瓦尼·里纳尔迪 布尔优化的Terse整数线性程序。 (英语) Zbl 1180.90193号 J.满意。布尔模型。计算。 6,编号1-3,121-139(2009).MSC公司:90C09型 90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Buchheim}和\textit{G.Rinaldi},J.Satisf。布尔模型。计算。6,编号1--3,121-139(2009;Zbl 1180.90193)
路易斯·吉尔;保罗·弗洛雷斯;西尔维拉(Luís Miguel Silveira) PMSat:MiniSAT的并行版本。 (英语) Zbl 1187.68542号 J.满意。布尔模型。计算。 6,编号1-3,71-98(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Gil}等人,J.Satisfe。布尔模型。计算。6,编号1--3,71-98(2009;Zbl 1187.68542)
方、雷;Michael S.肖。 通过新的混合方法提高SAT求解器的性能。 (英语) Zbl 1172.68617号 J.满意。布尔模型。计算。 5,编号1-4,243-261(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fang}和\textit{M.S.Xiao},J.Satisfe。布尔模型。计算。5、编号1--4、243--261(2009;Zbl 1172.68617)
迈克尔·科迪什;维塔利湖;彼得·斯图基(Peter J.Stuckey)。 求解LPO终止的部分顺序约束。 (英语) Zbl 1172.68484号 J.满意。布尔模型。计算。 5,编号1-4193-215(2009).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,J.Satisf。布尔模型。计算。5,编号1--4,193-215(2009;Zbl 1172.68484)
布鲁诺·维维亚纳;卢兹·加西亚;塞尔吉奥·诺科;斯特凡诺·奎尔 强调飞机维修优化中的符号调度技术。 (英语) Zbl 1162.90468号 J.满意。布尔模型。计算。 5,编号1-4,83-110(2009).MSC公司:90B35型 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Viviana}等人,J.Satisfe。布尔模型。计算。5,编号1--4,83-110(2009;Zbl 1162.90468)
Pipatsrisawat,结;阿科普·帕利安;马克·查维拉;亚瑟·崔;阿德南·达尔维切 在缩小的搜索空间中解决加权Max-SAT问题:性能分析。 (英语) Zbl 1159.68567号 J.满意。布尔模型。计算。 4,编号2-4191-217(2008).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Pipatsrisawat}等人,J.Satisf。布尔模型。计算。4,编号2--4,191-217(2008;Zbl 1159.68567)
斯利扬卡阿查里亚 一些特殊图类着色的SAT算法:一些理论和实验结果。 (英语) Zbl 1147.68700号 J.满意。布尔模型。计算。 4,第1号,33-55(2008).MSC公司:68T20型 68周05 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Acharyya},J.满意。布尔模型。计算。4、编号1、33-55(2008;Zbl 1147.68700)
米盖尔·安霍斯(Miguel F.Anjos)。 可满足性的扩展半定松弛。 (英语) Zbl 1169.90404号 J.满意。布尔模型。计算。 4,第1期,15-31(2008).MSC公司:90C09型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Anjos},J.Satisfe。布尔模型。计算。4,第1号,15-31(2008年;兹bl 1169.90404)
Sanjit A.Seshia。;苏布拉马尼,K。;Randal E.布莱恩特。 关于求解UTVPI约束的布尔组合。 (英语) Zbl 1129.68079号 J.满意。布尔模型。计算。 3,编号1-2,67-90(2007).MSC公司:第68页第15页 68T20型 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{S.A.Seshia}等人,J.Satisf。布尔模型。计算。3,编号1--2,67-90(2007;Zbl 1129.68079)
克拉克·巴雷特;伊戈尔·什卡尼安;塞萨尔·蒂内利 归纳数据类型理论的抽象决策过程。 (英语) Zbl 1129.68022号 J.满意。布尔模型。计算。 3,编号1-2,21-46(2007).MSC公司:68甲18 68号30 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,J.Satisf。布尔模型。计算。3,编号1--2,21-46(2007;Zbl 1129.68022)
汉斯·克莱恩·勃宁;赵西顺 极小不可满足公式的某些子类的复杂性。 (英语) Zbl 1137.68028号 J.满意。布尔模型。计算。 3,编号1-2,1-17(2007).MSC公司:2015年第68季度 2017年第68季度 68卢比 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},J.Satisfe。布尔模型。计算。3、编号1--2、1--17(2007;Zbl 1137.68028)
Shuvendu K.拉希里。;Mehra,Krishna K。 基于插值的无量词Presburger算法的决策过程。 (英语) Zbl 1147.68713号 J.满意。布尔模型。计算。 1,编号3-4187-207(2006).MSC公司:68T20型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}和\textit{K.K.Mehra},J.Satisfe。布尔模型。计算。1,编号3-4187-207(2006年;兹bl 1147.68713)
伊曼纽尔·扎尔帕斯 回到SAT05竞赛:工业基准上求解器性能的后验分析。 (英语) Zbl 1113.68485号 J.满意。布尔模型。计算。 2,编号1-4229-237(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Zarpas},J.Satisf(J.满意)。布尔模型。计算。2,编号1--4,229--237(2006;Zbl 1113.68485)
克拉斯·马克斯特罗姆 地点和硬SAT情况。 (英语) Zbl 1113.68483号 J.满意。布尔模型。计算。 2,编号1-4,221-227(2006).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Markström},J.Satisfe。布尔模型。计算。2,编号1--4,221--227(2006;Zbl 1113.68483)
侯赛因·M·希尼。;卡伦·萨卡拉。 Pueblo:混合伪布尔SAT解算器。 (英语) Zbl 1116.68090号 J.满意。布尔模型。计算。 2,编号1-4165-189(2006).MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{H.M.Sheini}和\textit{K.A.Sakallah},J.Satisfe。布尔模型。计算。2,编号1--4,165-189(2006;Zbl 1116.68090)
奥利弗·库尔曼 SAT 2005随机实例求解器竞赛。 (英语) Zbl 1116.68087号 J.满意。布尔模型。计算。 2,编号1-4,61-102(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kullmann},J.Satisf(J.满意)。布尔模型。计算。2,编号1--4,61-102(2006;Zbl 1116.68087)
哈里·哈帕德;马蒂·Järvisalo;卡斯基,佩特里;伊尔卡·尼梅尔 用于基准等价推理技术的难满足子句集。 (英语) Zbl 1116.68084号 J.满意。布尔模型。计算。 2,编号1-4,27-46(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Haanpää}等人,J.Satisf。布尔模型。计算。2,编号1-4,27-46(2006年;Zbl 1116.68084)