Zero-Suppressed Sentential Decision Diagrams.

Masaaki Nishino Norihito Yasuda Shin-ichi Minato Masaaki Nagata

Published in: AAAI (2016)

Keyphrases

binary decision diagrams
decision diagrams
boolean functions
model checking
multiple valued
planning problems
knowledge compilation
machine learning
probabilistic model