Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map.

Hélène Fargier Frederic Maris Vincent Roger

Published in: ICTAI (2015)

Keyphrases

decision diagrams
markov decision processes
digital circuits
domain specific
sufficient conditions
multi valued
data sets
data structure
multi dimensional
planning problems
efficient computation
binary decision diagrams