Phase Transition Behavior in Knowledge Compilation.
Rahul GuptaSubhajit RoyKuldeep S. MeelPublished in: CoRR (2020)
Keyphrases
- phase transition
- knowledge compilation
- product configuration
- constraint satisfaction
- satisfiability problem
- prime implicates
- graph coloring
- combinatorial problems
- np complete
- hard problems
- sat problem
- random constraint satisfaction problems
- randomly generated
- constraint propagation
- constraint satisfaction problems
- random instances
- normal form
- cellular automata
- random graphs
- binary decision diagrams
- np complete problems
- knowledge based systems
- orders of magnitude
- davis putnam
- machine learning