115
click to vote
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
Boolean matching for multiple-output functions determines whether two given (in)completely-specified function vectors can be identical to each other under permutation and/or negat...