Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2020/01/01 Vol. E103-DNo. 1 ;
pp. 130-141 Type of Manuscript: PAPER Category: Data Engineering, Web Information Systems Keyword: supergraph search, indexing, graph coding, canonical form, subgraph isomorphism,
Efficient Computation of Canonical Form under Variable Permutation and Negation for Boolean Matching in Large Libraries Debatosh DEBNATHTsutomu SASAO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/12/01 Vol. E89-ANo. 12 ;
pp. 3443-3450 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Logic Synthesis Keyword: logic synthesis, Boolean matching, cell-library binding, technology mapping, canonical form,