Sciweavers

62
Voted
DAC
2004
ACM
16 years 2 months ago
An efficient finite-domain constraint solver for circuits
Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting...