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]
@inproceedings{ParthasarathyICW04:0,
title = {An efficient finite-domain constraint solver for circuits},
author = {Ganapathy Parthasarathy and Madhu K. Iyer and Kwang-Ting Cheng and Li-C. Wang},
year = {2004},
doi = {10.1145/996566.996628},
url = {http://doi.acm.org/10.1145/996566.996628},
tags = {constraints, C++},
researchr = {https://researchr.org/publication/ParthasarathyICW04%3A0},
cites = {0},
citedby = {0},
pages = {212-217},
booktitle = {Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004},
editor = {Sharad Malik and Limor Fix and Andrew B. Kahng},
publisher = {ACM},
isbn = {1-58113-828-8},
}