Gerhard J.沃金格。 一类约束满足问题的有效算法。 (英语) Zbl 1030.90112号 操作。Res.Lett公司。 30,第1期,9-16(2002).MSC公司:90C27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.J.沃金格},Oper。雷斯莱特。30,编号1,9--16(2002;Zbl 1030.90112) 全文: 内政部
阿兰·比隆奈特;阿兰·萨特 3-可满足性问题的一个有效算法。 (英语) Zbl 0757.90059号 操作。Res.Lett公司。 12,第1期,29-36(1992).MSC公司:90C09型 90-08 PDF格式BibTeX公司 XML格式引用 \textit{A.Billionnet}和\textit{A.Sutter},Oper。雷斯莱特。12,第1号,第29-36页(1992;Zbl 0757.90059) 全文: 内政部