Symmetry-driven decision diagrams for knowledge compilation

zbMATH Open1366.68300MaRDI QIDQ5282953FDOQ5282953

Authors: Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis 

Publication date: 18 July 2017

Full work available at URL: http://ebooks.iospress.nl/volumearticle/36915

Recommendations

• On the relative succinctness of sentential decision diagrams
• scientific article; zbMATH DE number 1946853
• Variable shift SDD: a more succinct sentential decision diagram
• Decomposable negation normal form
• New canonical representations by augmenting OBDDs with conjunctive decomposition

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (6)

• New canonical representations by augmenting OBDDs with conjunctive decomposition
• Knowledge compilation using interval automata and applications to planning
• On the benefits of knowledge compilation for feature-model analyses
• Definability for model counting
• Variable shift SDD: a more succinct sentential decision diagram
• On the role of logical separability in knowledge compilation

This page was built for publication: Symmetry-driven decision diagrams for knowledge compilation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282953)