Bi-Decomposition Using Boolean Relations.

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

Browse the full DSD paper archive.