Compiling CP subproblems to MDDs and d-DNNFs.
Diego de UñaGraeme GangePeter SchachtePeter J. StuckeyPublished in: Constraints An Int. J. (2019)
Keyphrases
- knowledge compilation
- constraint programming
- global constraints
- decision diagrams
- np hard
- normal form
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- knowledge based systems
- markov decision processes
- database systems
- digital circuits
- search space
- search algorithm
- efficient computation
- target language
- artificial intelligence