×
罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利

求解SAT和SAT模理论，从抽象的Davis-Putnam-Logemann-Loveland过程到（operatorname{DPLL}（T））。 （英语） Zbl 1326.68164号

美国临床医学杂志 53，第6期，937-977（2006）.

引用于2评论
引用于168文件

MSC公司：

65年第68季度 算法和问题复杂性分析
68吨15 定理证明（演绎、解析等）（MSC2010）
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

SAT解算器;可满足性模理论
PDF格式BibTeX公司 XML格式引用
\textit{R.Nieuwenhuis}等人，J.ACM 53，No.6，937--977（2006；Zbl 1326.68164）
全文： 内政部