菲利普·拉罗什 平面三分之一可满足性是NP-完全的。(1-parmi-3计划满足NP-完成。) (法语) Zbl 0796.68117号 C.R.学院。科学。,巴黎,Sér。我 316,第4号,389-392(1993).MSC公司:65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.Laroche},C.R.学院。科学。,巴黎,Sér。I 316,编号4,389--392(1993;Zbl 0796.68117)
帕斯卡·安德烈;奥利维尔·杜波伊斯 使用预期数量的解决方案来优化SAT实例的分辨率。(利用优化系统SAT的标称解决方案。) (法语。英文摘要) Zbl 0794.68067号 C.R.学院。科学。,巴黎,Sér。我 315,第2期,217-220(1992).MSC公司:65年第68季度 2015年3月1日 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.André}和\textit{O.Dubois},C.R.学院。科学。,巴黎,Sér。I 315,编号2,217--220(1992;Zbl 0794.68067)
诺伯特·科特;克劳德·贝拉里奇 求解SAT问题实例类的多项式算法族。 (法语) 兹比尔0793.68066 C.R.学院。科学。,巴黎,Sér。我 313,第12号,879-882(1991).MSC公司:68宽10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Cot}和\textit{C.Bellaiche},C.R.学院。科学。,巴黎,Sér。I 313,编号12,879--882(1991;Zbl 0793.68066)
诺伯特·科特;克劳德·贝拉里奇 解决SAT问题的新方法。 (法语) Zbl 0738.03006号 C.R.学院。科学。,巴黎,Sér。我 313,第11号,801-804(1991).MSC公司:03B35型 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Cot}和\textit{C.Bellaiche},C.R.学院。科学。,巴黎,Sér。I 313,编号11,801--804(1991;Zbl 0738.03006)
奥利维尔·杜波伊斯 研究可满足性问题的实例类,反驳托维猜想。(《可满足性问题的课程》,《托维猜想的未来》。) (法语) Zbl 0618.68038号 C.R.学院。科学。,巴黎,Sér。我 303, 765-768 (1986).MSC公司:65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Dubois},C.R.学院。科学。,巴黎,Sér。I 303、765--768(1986年;Zbl 0618.68038)
Jean-Claude西蒙;雅克·卡利埃;奥利维尔·杜波伊斯;奥利维尔·莫里斯 SAT问题解决方案的存在统计,应用辅助系统专家。SAT问题解决方案的统计分布;专家系统的应用。 (法语) Zbl 0593.68034号 C.R.学院。科学。,巴黎,Sér。我 302, 283-286 (1986).MSC公司:65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Simon}等人,C.R.Acad。科学。,巴黎,Sér。I 302、283--286(1986年;Zbl 0593.68034)