Synthesis by Spectral Translation Using Boolean Decision Diagrams.
Jeffery P. HansenMasatoshi SekinePublished in: DAC (1996)
Keyphrases
- decision diagrams
- multi valued
- markov decision processes
- efficient computation
- digital circuits
- binary decision diagrams
- machine translation
- constraint satisfaction problems
- planning problems
- compressed data
- machine learning
- data compression
- database management systems
- index structure
- dynamic systems
- boolean functions