Encoding CSPs with Zero-Suppressed Decision Diagrams.

Esben Rune Hansen

Published in: ICTAI (1) (2008)

Keyphrases

decision diagrams
binary decision diagrams
boolean functions
planning problems
multi valued
model checking
knowledge compilation
multiresolution
constraint satisfaction problems
markov decision processes
computational complexity
compressed data