罗伯特·考恩 广义Davis-Putnam与数学中的可满足性问题。 （英语） Zbl 1205.03025号 日志。J.IGPL公司 18，第3期，456-463（2010）. 摘要：著名的戴维斯-普特南（Davis-Putnam）程序，用于确定逻辑中的Sat问题，表明其本质上是组合的，因此直接适用于解决各种数学“可满足性”问题。 MSC公司： 03B35型 证明和逻辑操作的机械化 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：Davis-Putnam程序;可满足性 PDF格式BibTeX公司 XML格式引用 \textit{R.Cowen}，日志。J.IGPL 18，第3号，456--463（2010；Zbl 1205.03025） 全文： 内政部