Phase Transitions in Knowledge Compilation: an Experimental Study
Jian GaoMinghao YinKe XuPublished in: CoRR (2011)
Keyphrases
- phase transition
- knowledge compilation
- product configuration
- constraint satisfaction
- random constraint satisfaction problems
- prime implicates
- satisfiability problem
- randomly generated
- combinatorial problems
- normal form
- hard problems
- np complete
- cellular automata
- graph coloring
- constraint satisfaction problems
- sat problem
- target language
- random graphs
- decision support
- random instances
- polynomial size
- cnf formula
- heuristic search
- machine learning
- database applications
- logic programs
- lower bound