Login / Signup
Going after the k-SAT Threshold
Amin Coja-Oghlan
Konstantinos Panagiotou
Published in:
CoRR (2012)
Keyphrases
</>
sat solvers
satisfiability problem
threshold selection
sat problem
search algorithm
search strategies
max sat
stochastic local search
group testing
evolutionary algorithm