An efficient finite-domain constraint solver for circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang. An efficient finite-domain constraint solver for circuits. 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 212-217, ACM, 2004. [doi]

This author has not been identified. Look up 'Ganapathy Parthasarathy' in GoogleThis author has not been identified. Look up 'Madhu K. Iyer' in GoogleThis author has not been identified. Look up 'Kwang-Ting Cheng' in GoogleThis author has not been identified. Look up 'Li-C. Wang' in Google

runs on WebDSL