Ignacio Araya Gilles Trombettoni Bertrand Neveu Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity. 61-68 2010 CP http://dx.doi.org/10.1007/978-3-642-15396-9_8 conf/cp/2010 db/conf/cp/cp2010.html#ArayaTN10