Login / Signup
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