Symmetry-driven decision diagrams for knowledge compilation

MaRDI QIDQ5282953zbMATH OpenFDO

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

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

Cited in

(6)

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

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)