The Algorithmic Phase Transition of Random k-SAT for Low Degree Polynomials.
Guy BreslerBrice HuangPublished in: CoRR (2021)
Keyphrases
- phase transition
- low degree
- random instances
- randomly generated
- easy hard easy pattern
- random constraint satisfaction problems
- satisfiability problem
- sat problem
- term dnf
- random sat
- constraint satisfaction
- graph coloring
- np complete problems
- np complete
- stochastic local search
- hard problems
- sat instances
- combinatorial problems
- boolean satisfiability
- uniform distribution
- relational learning
- cellular automata
- decision trees
- lower bound