ZSDD

Zero-suppressed Sentential Decision Diagrams

Sample software of Zero-suppressed Sentential Decision Diagrams (ZSDDs), which compiles a CNF/DNF into a ZSDD. Please see the paper for the details of ZSDDs.

Usage

zsdd [-c .] [-d .] [-v .] [-R .] [-S .]  [-h]
    -c FILE        set input CNF file
    -d FILE        set input DNF file
    -v FILE        set input VTREE file (default is a right-linear vtree)
    -e             use zsdd without implicit partitioning
    -R FILE        set output ZSDD file
    -S FILE        set output ZSDD (dot) file
    -h             show help message and exit

Reference

Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata: "Zero-suppressed Sentential Decision Diagrams," In Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), pp.1058--1066, Feb. 2016. Paper