کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328952 685240 2005 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Combining SAT Methods with Non-Clausal Decision Heuristics
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Combining SAT Methods with Non-Clausal Decision Heuristics
چکیده انگلیسی
A decision procedure for arbitrary first-order formulas can be viewed as combining a propositional search with a decision procedure for conjunctions of first-order literals, so Boolean SAT methods can be used for the propositional search in order to improve the performance of the overall decision procedure. We show how to combine some Boolean SAT methods with non-clausal heuristics developed for first-order decision procedures. The combination of methods leads to a smaller number of decisions than either method alone.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 125, Issue 3, 18 July 2005, Pages 3-12
نویسندگان
, ,