Using Boolean Constraint Propagation for Sub-clauses Deduction. - Sylvain Darras; Gilles Dequen; Laure Devendeville; Bertrand Mazure; Richard Ostrowski; Lakhdar Sais (CP, 2005)

On Inconsistent Clause-Subsets for Max-SAT Solving. - Sylvain Darras; Gilles Dequen; Laure Devendeville; Chu Min Li 001 (CP, 2007)

An Adaptive Large Neighborhood Search Method to Plan Patient's Journey in Healthcare. - Olivier Gérard; Corinne Lucet; Laure Brisoux Devendeville; Sylvain Darras (APMS (2), 2021)