Yahia Lebbah Claude Michel Michel Rueher A Rigorous Global Filtering Algorithm for Quadratic Constraints*. 47-65 2005 10 Constraints 1 http://www.springerlink.com/index/10.1007/s10601-004-5307-7 db/journals/constraints/constraints10.html#LebbahMR05