On CNF Encodings of Decision Diagrams.
Ignasi AbíoGraeme GangeValentin Mayer-EichbergerPeter J. StuckeyPublished in: CPAIOR (2016)
Keyphrases
- decision diagrams
- planning problems
- sat solving
- boolean functions
- sat instances
- multi valued
- sat encodings
- binary decision diagrams
- constraint satisfaction problems
- markov decision processes
- sat solvers
- digital circuits
- efficient computation
- knowledge compilation
- domain independent
- sat problem
- compressed data
- satisfiability problem
- search algorithm
- constraint satisfaction
- heuristic search
- image sequences
- dynamic programming
- boolean formula
- data mining
- computational complexity
- np complete