Leandro Dipietro

According to our database, Leandro Dipietro authored at least 2 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT.

Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco

J. Electron. Test., 2010

2009

Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits.

Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009