@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",
}