Niklas Eén, Alan Mishchenko. A Fast Reparameterization Procedure. In Malay K. Ganai, Alper Sen 0001, editors, Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013. Volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]
Abstract is missing.