@inproceedings{cck2004, title = "A {SAT}-Based Algorithm for Reparameterization in Symbolic Simulation", author = "Chauhan, Pankaj and Clarke, Edmund and Kroening, Daniel", year = "2004", booktitle = "Proceedings of DAC 2004", isbn = "1-58113-828-8", pages = "524--529", publisher = "ACM Press", }