An efficient finite-domain constraint solver for circuits.

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

Published in: DAC (2004)

Keyphrases

high speed
heuristic search
query language