Solving Non-clausal Formulas with DPLL search.

Christian Thiffault Fahiem Bacchus Toby Walsh

Published in: SAT (2004)

Keyphrases

search algorithm
search space
np complete
search strategy
horn clauses
web search
first order logic
search methods
search strategies
stochastic local search