Yunjian Jiang Slobodan Matic Robert K. Brayton Generalized cofactoring for logic function evaluation. 155-158 2003 conf/dac/2003 DAC http://doi.acm.org/10.1145/775832.775873 db/conf/dac/dac2003.html#JiangMB03