Using Boolean Constraint Propagation for Sub-clauses Deduction.

Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais

Browse the full CP paper archive.