Compiling Graph Substructures into Sentential Decision Diagrams

Open in new window