Login / Signup
Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold
Dimitris Achlioptas
Cristopher Moore
Published in:
CoRR (2003)
Keyphrases
</>
high quality
satisfiability problem
search algorithm
sat solvers
threshold selection
random sat instances
heuristic search
search strategies
randomly generated
sat problem
stochastic local search
propositional satisfiability
stochastic local search algorithms