Solutions to the Problem of K-SAT / K-COL Phase Transition Location.
Changqing LiuPublished in: CoRR (2016)
Keyphrases
- phase transition
- combinatorial problems
- satisfiability problem
- sat problem
- constraint satisfaction
- random instances
- randomly generated
- stochastic local search
- graph coloring
- np complete
- np complete problems
- random constraint satisfaction problems
- average degree
- hard problems
- sat instances
- boolean satisfiability
- random graphs
- davis putnam
- cellular automata
- random sat
- easy hard easy pattern
- hamiltonian cycle
- constraint satisfaction problems