Solving Non-clausal Formulas with DPLL Search.

Christian Thiffault Fahiem Bacchus Toby Walsh

Published in: CP (2004)

Keyphrases

search strategy
search space
search algorithm
stochastic local search
search problems
horn clauses
search methods
np complete
search strategies
first order logic
combinatorial optimization
heuristic search
sat instances
decision procedures
search heuristics
admissible heuristics
branch and bound search
sat solving