Symmetry-Driven Decision Diagrams for Knowledge Compilation.
Anicet BartFrédéric KoricheJean-Marie LagniezPierre MarquisPublished in: ECAI (2014)
Keyphrases
- knowledge compilation
- decision diagrams
- binary decision diagrams
- product configuration
- prime implicates
- constraint satisfaction problems
- multi valued
- markov decision processes
- boolean functions
- knowledge based systems
- normal form
- efficient computation
- target language
- decomposable negation normal form
- learning algorithm
- management system