CM Bagley, J Ng, G Chen, MP Plotkin - US Patent 8,229,870, 2012 - Google Patents
A solver for a constraint satisfaction problem includes a plurality of variables and a plurality
of constraints. A floating point variable has a domain and is assigned a value by first …