Phase Transitions in Knowledge Compilation: An Experimental Study.
Jian GaoMinghao YinKe XuPublished in: SAT (2011)
Keyphrases
- phase transition
- knowledge compilation
- product configuration
- constraint satisfaction
- random constraint satisfaction problems
- satisfiability problem
- prime implicates
- np complete
- combinatorial problems
- randomly generated
- hard problems
- constraint satisfaction problems
- graph coloring
- random instances
- normal form
- cellular automata
- sat problem
- random graphs
- polynomial size
- constraint propagation
- database systems
- constraint programming
- np complete problems
- decomposable negation normal form
- decision support