Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams.
Jérôme AmilhastreHélène FargierAlexandre NiveauCédric PraletPublished in: Int. J. Artif. Intell. Tools (2014)
Keyphrases
- decision diagrams
- multi valued
- markov decision processes
- efficient computation
- digital circuits
- constraint satisfaction problems
- binary decision diagrams
- planning problems
- computational complexity
- worst case
- space complexity
- constraint satisfaction
- normal form
- coding scheme
- velocity field
- np complete
- data sources
- data sets