The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem.
Guoxia NieDaoyun XuXiaofeng WangXi WangPublished in: Symmetry (2021)
Keyphrases
- phase transition
- sat problem
- satisfiability problem
- random instances
- randomly generated
- constraint satisfaction
- random constraint satisfaction problems
- random sat
- np complete
- combinatorial problems
- hard problems
- boolean satisfiability
- search algorithm
- random graphs
- sat instances
- cellular automata
- constraint satisfaction problems