A SAT-based algorithm for reparameterization in symbolic simulation (2004)

by Pankaj Chauhan, Edmund Clarke, Daniel Kroening
Venue:In Proceedings of DAC 2004