Global Landscape Structure and the Random MAX-SAT Phase Transition.
Gabriela OchoaFrancisco ChicanoMarco TomassiniPublished in: PPSN (2) (2020)
Keyphrases
- phase transition
- max sat
- sat problem
- satisfiability problem
- random sat
- constraint satisfaction
- random instances
- randomly generated
- random constraint satisfaction problems
- graph coloring
- np complete
- search algorithm
- random sat instances
- weighted max sat
- boolean satisfiability
- stochastic local search
- hard problems
- sat solvers
- combinatorial problems
- np complete problems
- lower bound
- maximum satisfiability
- propositional satisfiability
- linear programming
- orders of magnitude
- tabu search
- easy hard easy pattern
- genetic algorithm