A Restriction of Extended Resolution for Clause Learning SAT Solvers.

Gilles Audemard George Katsirelos Laurent Simon

Published in: AAAI (2010)

Keyphrases

clause learning sat solvers
sat solvers
orders of magnitude
low resolution
knowledge base
high resolution
constraint satisfaction
consequence finding
real time
data mining
search engine
website
high quality
np hard
state space
sampling rate