Heikel Batnini Claude Michel Michel Rueher Mind the Gaps: A New Splitting Strategy for Consistency Techniques. 77-91 2005 conf/cp/2005 CP http://dx.doi.org/10.1007/11564751_9 db/conf/cp/cp2005.html#BatniniMR05