Stem cofactor$ (all stems)

3 papers:

DATE-2012-TangHCH #generative #logic #multi #reduction

Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.

DATE-2009-BernasconiCTV #on the

On decomposing Boolean functions via extended cofactoring (AB, VC, GT, TV), pp. 1464–1469.

DAC-2003-JiangMB #evaluation #logic

Generalized cofactoring for logic function evaluation (YJ, SM, RKB), pp. 155–158.