"An efficient finite-domain constraint solver for circuits."

Ganapathy Parthasarathy et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics