Publications

Curated research outputs from the MLKD group.

all years1998 · 4

all types Journal Conference Book / Chapter Preprint

1998

Exact minimization of binary decision diagrams using implicit techniques

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

IEEE Transactions on Computers journal