Skip to main content

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