Symmetry-driven decision diagrams for knowledge compilation
From MaRDI portal
Publication:5282953
Recommendations
Cited in
(6)- On the role of logical separability in knowledge compilation
- Definability for model counting
- Variable shift SDD: a more succinct sentential decision diagram
- Knowledge compilation using interval automata and applications to planning
- New canonical representations by augmenting OBDDs with conjunctive decomposition
- 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)