Local search strategies for satisfiability testing.
Bart SelmanHenry A. KautzBram CohenPublished in: Cliques, Coloring, and Satisfiability (1993)
Keyphrases
- search strategies
- satisfiability testing
- propositional logic
- search strategy
- tie breaking
- search algorithm
- search methods
- constraint programming
- sat solvers
- heuristic search
- retrieval effectiveness
- selection strategies
- search procedures
- meeting scheduling
- branch and bound
- belief revision
- constraint satisfaction
- special case
- data mining