A SAT-based algorithm for reparameterization in symbolic simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening. A SAT-based algorithm for reparameterization in symbolic simulation. In Sharad Malik, Limor Fix, Andrew B. Kahng, editors, Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. pages 524-529, ACM, 2004. [doi]

This author has not been identified. Look up 'Pankaj Chauhan' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in Google

runs on WebDSL