QUAD-CLP(R): Adding the power of quadratic constraints (1994)

by G Pesant, M Boyer
Venue:in Principles and Practice of Constraint Programming ’94, Lecture Notes in Comput. Sci. 874