An efficient finite-domain constraint solver for circuits.

Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang

Browse the full DAC paper archive.