Leandro Dipietro

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

Coauthor Index

1	Gianpiero Cabodi	[1] [2]
2	Marco Murciano	[1] [2]
3	Sergio Nocco	[1] [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page