Sylvain Darras

	2007
2		Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li: On Inconsistent Clause-Subsets for Max-SAT Solving. CP 2007: 225-240
	2005
1		Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais: Using Boolean Constraint Propagation for Sub-clauses Deduction. CP 2005: 757-761

Coauthor Index

1	Gilles Dequen	[1] [2]
2	Laure Devendeville	[1] [2]
3	Chu Min Li	[2]
4	Bertrand Mazure	[1]
5	Richard Ostrowski	[1]
6	Lakhdar Sais	[1]