Sign in
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