Automatic Generation of Implied Clauses for SAT

This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algorithm for SAT.

• Type: Conference
• Year: 2001
• Where: CP
• Authors: Lyndon Drake
• Keywords: Artificial Intelligence, CP 2001, Hybrid Resolution, Propositional Satisfiability, Search Algorithm