A SAT-based algorithm for reparameterization in symbolic simulation | IEEE Conference Publication | IEEE Xplore