Reduction of Interpolants for Logic Synthesis (0)

by J D Backes, M D Riedel
Venue:in Proc. of ICCAD, 2010