A SAT-based algorithm for reparameterization in symbolic simulation - Chauhan, P; Clarke, E; Kroening, D (Proceedings of the 41st Design Automation Conference, 2004)