Tagged BDDs: Combining reduction rules from different decision diagram types.
Tom van DijkRobert WilleRobert MeolicPublished in: FMCAD (2017)
Keyphrases
- decision diagrams
- multi valued decision diagrams
- multi valued
- markov decision processes
- efficient computation
- binary decision diagrams
- planning problems
- digital circuits
- constraint satisfaction problems
- reinforcement learning
- learning algorithm
- normal form
- probabilistic model
- knowledge compilation
- np hard
- association rules
- search algorithm