References

This package is inspired by the SDD wrapper used in the probabilistic programming language ProbLog.

References:

• Wannes Meert, PySDD, in Recent Trends in Knowledge Compilation, Report from Dagstuhl Seminar 17381, Sep 2017. Eds. A. Darwiche, P. Marquis, D. Suciu, S. Szeider.

If you want to learn more about Sentential Decision Diagrams and Knowledge Compilation:

• A. Darwiche, Tutorial: SDD: A New Canonical Representation of Propositional Knowledge Bases. Presented at IJCAI 2011.
• A. Darwiche, Tutorial: Bottom-Up Knowledge Compilers.
• A. Darwiche. SDD: A New Canonical Representation of Propositional Knowledge Bases. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI), pages 819-826, 2011.
• A. Choi and A. Darwiche. Dynamic Minimization of Sentential Decision Diagrams. In Proceedings of the Twenty-Seventh Conference on Artificial Intelligence (AAAI), pages 187-194, 2013.

Bindings with other programming languages:

• C: http://reasoning.cs.ucla.edu/sdd/
• Java: https://github.com/jessa/JSDD