Implicit pseudo boolean enumeration algorithms for input vector control - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kaviraj Chopra, Sarma B. K. Vrudhula. Implicit pseudo boolean enumeration algorithms for input vector control. 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 767-772, ACM, 2004. [doi]

This author has not been identified. Look up 'Kaviraj Chopra' in GoogleThis author has not been identified. Look up 'Sarma B. K. Vrudhula' in Google

runs on WebDSL