Going after the k-SAT threshold.

Amin Coja-Oghlan Konstantinos Panagiotou

Published in: STOC (2013)

Keyphrases

sat solvers
satisfiability problem
sat solving
stochastic local search
real time
phase transition
industrial applications
sat problem
threshold selection
max sat
threshold values
boolean satisfiability
adaptive threshold
thresholding algorithm
stochastic local search algorithms