The Phase Transition Analysis for Random Regular Exact (s, c, k) - SAT Problem.
Xiaoling MoDaoyun XuXi WangPublished in: IEEE Access (2021)
Keyphrases
- phase transition
- sat problem
- satisfiability problem
- randomly generated
- random constraint satisfaction problems
- random instances
- random sat
- constraint satisfaction
- np complete
- hard problems
- combinatorial problems
- constraint satisfaction problems
- random sat instances
- cellular automata
- sat instances
- graph coloring
- np complete problems