Shin-ichi Minato

• Binary decision diagrams and applications for VLSI CAD
• Binary Decision Diagrams and Applications for VLSI CAD
• Reversible Computation