Combining the k-CNF and XOR Phase-Transitions.
Jeffrey M. DudekKuldeep S. MeelMoshe Y. VardiPublished in: IJCAI (2016)
Keyphrases
- phase transition
- sat problem
- satisfiability problem
- constraint satisfaction
- random constraint satisfaction problems
- np complete
- randomly generated
- combinatorial problems
- random instances
- hard problems
- sat instances
- stochastic local search
- boolean functions
- conjunctive normal form
- deep structure
- graph coloring
- random graphs
- boolean satisfiability
- np complete problems
- learning algorithm