正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem).
Mingming ZhangDaoyun XuPublished in: 计算机科学 (2016)
Keyphrases
- sat problem
- phase transition
- satisfiability problem
- boolean satisfiability
- constraint satisfaction
- max sat
- sat instances
- sat solving
- randomly generated
- hard problems
- stochastic local search
- combinatorial problems
- propositional satisfiability
- np complete
- random instances
- np complete problems
- davis putnam
- random sat
- graph coloring
- sat solvers
- cellular automata
- cnf formula
- special case
- maximum satisfiability
- propositional formulas
- orders of magnitude
- upper bound
- unit propagation
- weighted max sat
- search space