An efficient finite-domain constraint solver for circuits

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]

Abstract

Abstract is missing.