34 citations · 38 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature
Juling Zhang, Guowu Yang, William N. N. Hung +1
This paper presents a new compact canonical-based algorithm to solve the problem of single-output completely specified NPN Boolean matching. We propose a new signature vector Boole…
cs.DS2017★ 1 cited
An Efficient NPN Boolean Matching Algorithm Based on Structural Signature and Shannon Expansion
Juling Zhang, Guowu Yang, William N. N. Hung +1
An efficient pairwise Boolean matching algorithm to solve the problem of matching single-output specified Boolean functions under input negation and/or input permutation and/or out…