Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits. - Gianpiero Cabodi; Leandro Dipietro; Marco Murciano; Sergio Nocco (HLDVT, 2009)

Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT. - Gianpiero Cabodi; Leandro Dipietro; Marco Murciano; Sergio Nocco (J. Electron. Test., 2010)