 | 2011 |
|---|
| 6 |       | Éric Grégoire,
Jean-Marie Lagniez,
Bertrand Mazure:
A CSP Solver Focusing on fac Variables.
CP 2011: 493-507 |
| 5 | | Long Guo,
Jean-Marie Lagniez:
Dynamic Polarity Adjustment in a Parallel SAT Solver.
ICTAI 2011: 67-73 |
| 4 | | Gilles Audemard,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Sais:
On Freezing and Reactivating Learnt Clauses.
SAT 2011: 188-200 |
| 2010 |
|---|
| 3 | | Gilles Audemard,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Sais:
Boosting Local Search Thanks to cdcl.
LPAR (Yogyakarta) 2010: 474-488 |
| 2009 |
|---|
| 2 | | Gilles Audemard,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Sais:
Learning in Local Search.
ICTAI 2009: 417-424 |
| 1 | | Gilles Audemard,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Sais:
Integrating Conflict Driven Clause Learning to Local Search
LSCS 2009: 55-68 |
Data released under the ODC-BY 1.0 license — See also our legal information page