DMCA

14.1 An Efficient Finite-Domain Constraint Solver for Circuits

by G. Parthasarathy , M. K. Iyer , K. -t. Cheng , Li-c. Wang