| Title: | A SAT-Based Algorithm for Reparameterization in Symbolic Simulation |
|---|---|
| Links: | Document as PDF |
| Authors: | Pankaj Chauhan |
| Edmund Clarke EMail | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{cck2004,
AUTHOR = { Chauhan, Pankaj
and Clarke, Edmund
and Kroening, Daniel },
TITLE = { A {SAT}-Based Algorithm for Reparameterization in Symbolic Simulation },
BOOKTITLE = { Design Automation Conference (DAC) },
YEAR = { 2004 },
PUBLISHER = { ACM Press },
PAGES = { 524--529 },
ISBN = { 1-58113-828-8 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.