Title :
An efficient finite-domain constraint solver for circuits
Author :
Parthasarathy, G. ; Iyer, M.K. ; Cheng, K.-T. ; Wang, Li.-C.
Author_Institution :
University of California, Santa Barbara
Keywords :
Algorithm design and analysis; Arithmetic; Automatic control; Circuit testing; Electronic design automation and methodology; Engines; Formal verification; Integer linear programming; Logic functions; Logic programming;
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
Print_ISBN :
1-51183-828-8
