Login / Signup
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams.
Jérôme Amilhastre
Hélène Fargier
Alexandre Niveau
Cédric Pralet
Published in:
ICTAI (2012)
Keyphrases
</>
decision diagrams
multi valued
markov decision processes
constraint satisfaction problems
efficient computation
digital circuits
binary decision diagrams
worst case
planning problems
computational complexity
space complexity
machine learning
search space
state space
boolean functions
compressed data