Art

J-GLOBAL ID：200902066447424846   Reference number：92A0286687

Minimization of Binary Decision Diagrams Based on Exchanges of Variables.

Author (3)： ISHIURA N (Osaka Univ., Osaka, JPN) ,  SAWADA H (Kyoto Univ., Kyoto, JPN) ,  YAJIMA S (Kyoto Univ., Kyoto, JPN)
Material： Digest of Technical Papers. IEEE/ACM International Conference on Computer-Aided Design  (Digest of Technical Papers. IEEE International Conference on Computer-Aided Design)
Volume： 1991  Page： 472-475  Publication year： 1991 
JST Material Number： D0968C  ISSN： 1092-3152  Document type： Proceedings
Country of issue： United States (USA)  Language： ENGLISH (EN)