On the Relative Succinctness of Sentential Decision Diagrams.

Beate Bollig Matthias Buttkus

Published in: CoRR (2018)

Keyphrases

decision diagrams
multi valued
markov decision processes
digital circuits
modal logic
efficient computation
binary decision diagrams
multiple valued
compressed data
machine learning
reinforcement learning
planning problems
data compression