Edge-Shifted Decision Diagrams for Multiple-Valued Logic.
Benet DevereuxMarsha ChechikPublished in: J. Multiple Valued Log. Soft Comput. (2003)
Keyphrases
- multiple valued
- multiple valued logic
- decision diagrams
- multi valued
- file organization
- boolean functions
- markov decision processes
- efficient computation
- digital circuits
- continuous attributes
- binary decision diagrams
- complex valued
- planning problems
- valued logic
- constraint satisfaction problems
- state space
- data structure