Bi-Decomposition Using Boolean Relations.

Anna Bernasconi Robert K. Brayton Valentina Ciriani Gabriella Trucco Tiziano Villa

Published in: DSD (2015)

Keyphrases

bi decomposition
boolean functions
multi valued
functional properties
logic synthesis
computer vision
real valued
database
databases
search space