Phase Transition Behavior in Knowledge Compilation

Rahul Gupta, Subhajit Roy, Kuldeep S. Meel. Phase Transition Behavior in Knowledge Compilation. In Helmut Simonis, editor, Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings. Volume 12333 of Lecture Notes in Computer Science, pages 358-374, Springer, 2020. [doi]

Authors

Rahul Gupta

This author has not been identified. Look up 'Rahul Gupta' in Google

Subhajit Roy

This author has not been identified. Look up 'Subhajit Roy' in Google

Kuldeep S. Meel

This author has not been identified. Look up 'Kuldeep S. Meel' in Google