FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: