Combining Inference and Search for the Propositional Satisfiability Problem

Book One

Volume

Proceedings of the AAAI Conference on Artificial Intelligence, 18

SIGART/AAAI Doctoral Consortium

The most effective complete method for testing propositional satisfiability (SAT) is backtracking search. Recent research suggests that adding more inference to SAT search procedures can improve their performance. This paper presents two ways to combine neighbour resolution (one such inference technique) with search.