Phase Transition Behavior in Knowledge Compilation.
Rahul GuptaSubhajit RoyKuldeep S. MeelPublished in: CP (2020)
Keyphrases
- phase transition
- knowledge compilation
- product configuration
- constraint satisfaction
- satisfiability problem
- randomly generated
- hard problems
- np complete
- prime implicates
- cellular automata
- random instances
- graph coloring
- sat problem
- random constraint satisfaction problems
- random graphs
- normal form
- constraint satisfaction problems
- np complete problems
- combinatorial problems
- knowledge acquisition
- boolean satisfiability
- search space
- dynamic programming