Publications

Curated research outputs from the MLKD group.

all years1997 · 1

all types Journal Conference Book / Chapter Preprint

1997

An implicit formulation for exact BDD minimization of incompletely specified functions

Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni‐Vincentelli

book