Using CSP Look-Back Techniques to Solve Real-World SAT Instances.

Roberto J. Bayardo Jr.Robert Schrag

Published in: AAAI/IAAI (1997)

Keyphrases

real world
sat instances
sat problem
constraint satisfaction problems
random instances
sat solvers
satisfiability problem
randomly generated
np complete
constraint satisfaction
phase transition
stochastic local search
special case
np hard
propositional satisfiability