On the power of clause-learning SAT solvers as resolution engines.

Knot Pipatsrisawat Adnan Darwiche

Published in: Artif. Intell. (2011)

Keyphrases

clause learning sat solvers
sat solvers
power consumption
orders of magnitude
constraint satisfaction
search space
information retrieval
high resolution
search strategies
decision trees
database
genetic algorithm
image processing
evolutionary algorithm
branch and bound
power distribution