Login / Signup
Random regular k-SAT.
Amin Coja-Oghlan
Published in:
CoRR (2013)
Keyphrases
</>
satisfiability problem
search strategies
randomly generated
sat problem
search algorithm
sat solvers
sat instances
stochastic local search
boolean satisfiability
phase transition
max sat
sat solving