Login / Signup
Bounding the unsatisfiability threshold of random 3-SAT.
Svante Janson
Yannis C. Stamatiou
Malvina Vamvakari
Published in:
Random Struct. Algorithms (2000)
Keyphrases
</>
random sat
max sat
sat problem
stochastic local search
upper bound
phase transition
random constraint satisfaction problems
satisfiability problem
random sat instances
lower bound
branch and bound
np complete
optimal policy
orders of magnitude
branch and bound algorithm
boolean satisfiability