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