Boosting interpolation with dynamic localized abstraction and redundancy removal

Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer. Boosting interpolation with dynamic localized abstraction and redundancy removal. ACM Trans. Design Autom. Electr. Syst., 13(1), 2008. [doi]

Abstract

Abstract is missing.