Frédéric Goualard Laurent Granvilliers Controlled propagation in continuous numerical constraint networks. 377-382 2005 conf/sac/2005 SAC http://doi.acm.org/10.1145/1066677.1066765 db/conf/sac/sac2005.html#GoualardG05