Binary decision diagrams and applications for VLSI CAD (1996)

by Shin ichi Minato