The asymptotic k-SAT threshold.

Amin Coja-Oghlan

Published in: STOC (2014)

Keyphrases

sat solvers
search algorithm
worst case
search strategies
objective function
satisfiability problem
adaptive threshold
thresholding algorithm
asymptotically optimal
sat instances
graph coloring
threshold selection
expected values
pseudo boolean constraints