Revisiting Decision Diagrams for SAT.

Tom van Dijk Rüdiger Ehlers Armin Biere

Published in: CoRR (2018)

Keyphrases

decision diagrams
multi valued
markov decision processes
efficient computation
digital circuits
search algorithm
binary decision diagrams
planning problems
multiple valued
constraint satisfaction problems
compressed data
graphical models
dynamic programming
index structure