Mod-2-OBDD's: A Generalization of OBDD's and EXOR-Sum-of-Products
Jordan GergovChristoph MeinelPublished in: Universität Trier, Mathematik/Informatik, Forschungsbericht (1993)
Keyphrases
- ordered binary decision diagrams
- boolean functions
- model counting
- deterministic domains
- knowledge compilation
- model checking
- database
- decomposable negation normal form
- weighted sum
- search space
- deterministic finite automaton
- planning problems
- constraint satisfaction problems
- support vector
- square error
- multi agent
- machine learning
- data sets