Erratum to Bounding the Unsatisfiability Threshold of Random 3-SAT.
Svante JansonYannis C. StamatiouMalvina VamvakariPublished in: Random Struct. Algorithms (2001)
Keyphrases
- random sat
- max sat
- phase transition
- stochastic local search
- sat problem
- upper bound
- satisfiability problem
- random sat instances
- random constraint satisfaction problems
- branch and bound algorithm
- lower bound
- tabu search
- sat solvers
- boolean satisfiability
- graph coloring
- search tree
- sat instances
- reinforcement learning
- branch and bound
- search algorithm