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]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page