尼古拉斯五世·萨希尼迪斯。;莫希特·塔瓦马拉尼 通过针对松弛特定约束的建模语言构造加速分支绑定。 (英语) Zbl 1080.90087 J.全球。最佳方案。 32,第2期,259-280(2005).MSC公司:90C57型 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Sahinidis}和\textit{M.Tawarmalani},J.Glob。优化。32,第2号,259--280(2005;Zbl 1080.90087) 全文: 内政部
爱德华·赫施。;阿里斯特·科耶夫尼科夫 UnitWalk:一个新的SAT解算器,使用由单位子句消除指导的局部搜索。 (英语) Zbl 1100.68621号 安。数学。Artif公司。智力。 43,编号1-4,91-111(2005).MSC公司:68T20型 03B05号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}和\textit{A.Kojevnikov},Ann.数学。Artif公司。智力。43,编号1--4,91-111(2005;Zbl 1100.68621) 全文: 内政部
弗朗西·布尔格勒;李、小余;马蒂亚斯·斯托尔曼。 关于SAT实例类和使用SAT解算器进行可靠性能实验的方法。 (英语) Zbl 1100.68575号 安。数学。Artif公司。智力。 43,第1-4、1-34号(2005).MSC公司:65年第68季度 68T20型 62号05 PDF格式BibTeX公司 XML格式引用 \textit{F.Brglez}等人,Ann.Math。Artif公司。智力。43,编号1--4,1-34(2005;Zbl 1100.68575) 全文: 内政部