The SDD Package
Version 2.0: Released Jan 8, 2018
Description
The SDD package is an open-source system for constructing, manipulating and optimizing
Sentential Decision Diagrams (SDDs).
The SDD package includes the SDD library, with additional code that uses the library for compiling CNFs and DNFs into SDDs.
The SDD package is implemented in the C language.
Manuals
Beginning-user manual: pdf
Advanced-user manual: pdf
Download
Version 2.0 is currently available for Linux (x64)
and Mac OS X (x64).
Talks and Tutorials
-
SDD: A New Canonical Representation of Propositional Knowledge Bases.
Presented at IJCAI 2011
youtube
-
Tutorial: Bottom-Up Knowledge Compilers
youtube
Papers
Fundamentals
-
Adnan 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.
pdf
-
Yexiang Xue, Arthur Choi, and Adnan Darwiche.
Basing Decisions on Sentences in Decision Diagrams.
In Proceedings of the Twenty-Sixth AAAI Conference on
Artificial Intelligence (AAAI), pages 842-849, 2012.
pdf
-
Guy Van den Broeck and Adnan Darwiche.
On the Role of Canonicity in Knowledge Compilation.
In Proceedings of the 29th Conference on Artificial Intelligence (AAAI), pages 1641-1648, 2015.
pdf
-
Simone Bova.
SDDs Are Exponentially More Succinct than OBDDs.
In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI), pages 929-935, 2016.
pdf
Compilers: Bottom-Up
-
Arthur Choi and Adnan Darwiche.
Dynamic Minimization of Sentential Decision Diagrams.
In Proceedings of the Twenty-Seventh Conference on Artificial
Intelligence (AAAI), pages 187-194, 2013.
pdf
compiler (SDD package)
Compilers: Top-Down
-
Umut Oztok and Adnan Darwiche.
A Top-Down Compiler for Sentential Decision Diagrams.
In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pages 3141-3148, 2015.
pdf
compiler (miniC2D)
Related Software
-
PySDD: a python wrapper for interactive use of the SDD library
github
-
SDD.jl: a Julia wrapper for interactive use of the SDD library
github
-
JSDD: a Java wrapper for the SDD library
github
-
LearnSDD: for learning tractable Markov networks
github
-
LearnPSDD: for learning the structure of Probabilistic SDDs (PSDDs)
github
License
See license here (Apache v2.0)
Contact
Please send questions, comments, or bug reports to: 