Sylvain Darras
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2005–2007
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CP | On Inconsistent Clause-Subsets for Max-SAT Solving. | Sylvain Darras, Gilles Dequen, Laure Devendeville, Chu Min Li |
| 2005 | CP | Using Boolean Constraint Propagation for Sub-clauses Deduction. | Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais |