Login / Signup
The scaling window of the 2-SAT transition.
Béla Bollobás
Christian Borgs
Jennifer T. Chayes
Jeong Han Kim
David Bruce Wilson
Published in:
Random Struct. Algorithms (2001)
Keyphrases
</>
satisfiability problem
sat solvers
sliding window
phase transition
sat problem
stochastic local search
propositional satisfiability
boolean satisfiability
adaptive window
max sat
sat solving
search strategies
cnf formula
variable ordering