Leandro Dipietro

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT. J. Electron. Test. 26 (2) (2010)
Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco
Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits. HLDVT (2009)