Y. Nishizaki

发表

R. Brayton, A. Sangiovanni-Vincentelli, N. Shenoy, 1990, 27th ACM/IEEE Design Automation Conference.