Jean-Marie Lagniez (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure: A CSP Solver Focusing on fac Variables. CP 2011: 493-507

4 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: On Freezing and Reactivating Learnt Clauses. SAT 2011: 188-200

3 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: Boosting Local Search Thanks to cdcl. LPAR (Yogyakarta) 2010: 474-488

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

Selection of 5 from 6 records - Jean-Marie Lagniez has 5 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

6		Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure: A CSP Solver Focusing on fac Variables. CP 2011: 493-507
4		Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: On Freezing and Reactivating Learnt Clauses. SAT 2011: 188-200
3		Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais: Boosting Local Search Thanks to cdcl. LPAR (Yogyakarta) 2010: 474-488
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