A SAT−Based Algorithm for Reparameterization in Symbolic Simulation
Pankaj Chauhan‚ Edmund Clarke and Daniel Kroening
Details
| Book Title |
Proceedings of DAC 2004 |
| ISBN |
1−58113−828−8 |
| Pages |
524–529 |
| Publisher |
ACM Press |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |