Sylvain Darras Gilles Dequen Laure Devendeville Bertrand Mazure Richard Ostrowski Lakhdar Sais Using Boolean Constraint Propagation for Sub-clauses Deduction. 757-761 2005 conf/cp/2005 CP http://dx.doi.org/10.1007/11564751_59 db/conf/cp/cp2005.html#DarrasDDMOS05