FSM Encoding for BDD Representations.

Wilsin Gosti Tiziano Villa Alexander Saldanha Alberto L. Sangiovanni-Vincentelli

Published in: Int. J. Appl. Math. Comput. Sci. (2007)

Keyphrases

finite state machines
pseudo boolean constraints
higher level
boolean functions
variable length
fractal image compression
binary decision diagrams
real time
neural network
machine learning
website
case study
face recognition
image quality
heuristic search
multiple representations