Note: As originally published text, pages or figures in the document were missing or not clearly visible. A corrected replacement file was provided by the authors.
Abstract: This paper investigates two approaches for Boolean matching using NPN equivalence matching. Luks' hypergraph method is implemented and compared to the Walsh spectral decision diagram (SDD) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback