Eric Monfroy Frédéric Saubion Tony Lambert Hybrid CSP Solving. 138-167 2005 conf/frocos/2005 FroCos http://dx.doi.org/10.1007/11559306_8 db/conf/frocos/frocos2005.html#MonfroySL05