Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently.

Joel Friedman Andreas Goerdt

Published in: ICALP (2001)

Keyphrases

random sat instances
phase transition
sat problem
random sat
objective function
sat solvers
sat instances