On the Relative Succinctness of Sentential Decision Diagrams.

Beate Bollig Matthias Buttkus

Published in: Theory Comput. Syst. (2019)

Keyphrases

decision diagrams
markov decision processes
multi valued
modal logic
digital circuits
wavelet transform
database management systems
constraint satisfaction problems
planning problems
efficient computation
domain independent