Login / Signup
Disproof of the neighborhood conjecture with implications to SAT.
Heidi Gebauer
Published in:
Comb. (2012)
Keyphrases
</>
sat solvers
search algorithm
satisfiability problem
search strategies
case study
sat solving
real time
sat problem
phase transition
stochastic local search algorithms
sat encodings
boolean satisfiability
max sat
search strategy
parameter space
orders of magnitude
special case
data mining