Symmetry breaking and Knowledge Compilation
Authors: Andrea Balogh and Barry O'Sullivan
Paper Information
| Title: | Symmetry breaking and Knowledge Compilation |
| Authors: | Andrea Balogh and Barry O'Sullivan |
| Proceedings: | dpcp22 Doctoral Program Papers |
| Editor: | Hélène Verhaeghe |
| Keywords: | Symmetry breaking, Knowledge Compilation, Sentential Decision Diagram |
| Pages: | 9 |
| Talk: | Aug 01 15:00 (Session 34R: Doctoral Program) |
| Paper: |  |