Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram.
Bijan AlizadehMasahiro FujitaPublished in: CSICC (2008)
Keyphrases
- decision diagrams
- word level
- multi valued
- efficient computation
- language independent
- markov decision processes
- machine translation
- digital circuits
- document images
- n gram
- document analysis
- binary decision diagrams
- constraint satisfaction problems
- word segmentation
- compressed data
- planning problems
- sentence level
- semantic roles
- character recognition
- natural language processing
- boolean functions
- viterbi algorithm
- text retrieval
- language model