-
Long Guo ,
Jean-Marie Lagniez,
« Dynamic polarity adjustment in a parallel SAT solver »,
in 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'11), november 2011. (to appear)
[BibTeX]
-
Gilles Audemard ,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Saïs,
« On freezeing and reactivating learnt clauses »,
in Fourteenth International Conference on Theory and Applications of Satisfiability Testing (SAT'11), june 2011.
[BibTeX]
-
Éric Grégoire ,
Jean-Marie Lagniez,
Bertrand Mazure,
« A CSP Solver Focusing on FAC Variables »,
in Principles and Practice of Constraint Programming (CP 2011), september 2011.
[BibTeX]
-
Gilles Audemard ,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Saïs,
« Boosting local search thanks to CDCL »,
in 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10), october 2010.
[BibTeX]
-
Gilles Audemard ,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Saïs,
"Learning in local search".
in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),
IEEE Computer Society, november 2009.
[pdf]
[BibTeX]
-
Gilles Audemard ,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Saïs,
"Integrating Conflict Driven Clause Learning to Local Search".
in International Workshop on Local Search Techniques in Constraint
Satisfaction (affiliated to CP) (LSCS09),
september 2009. (Electronic proceedings)
[pdf]
[BibTeX]
-
Long Guo ,
Jean-Marie Lagniez,
« Ajustement dynamique de l'heuristique de polarité dans le cadre d'un solveur SAT parallèle »,
in Septièmes Journées Francophones de Programmation par Contraintes (JFPC'11)
[BibTeX]
-
Gilles Audemard ,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Saïs,
« Vers une gestion fine et dynamique de la base de clauses apprises »,
in Septièmes Journées Francophones de Programmation par Contraintes (JFPC'11)
[BibTeX]
-
Grégoire Éric ,
Jean-Marie Lagniez,
Bertrand Mazure,
« Un algorithme de résolution d'instances CSP s'appuyant sur les variables FAC »,
in Septièmes Journées Francophones de Programmation par Contraintes (JFPC'11)
[BibTeX]
-
Gilles Audemard ,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Saïs,
« Approche hybride pour SAT »,
in 17eme congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA'10), pp. 279--286, january 2010.
[BibTeX]
-
Gilles Audemard ,
Jean-Marie Lagniez,
Bertrand Mazure,
Lakhdar Saïs,
« Analyse de conflits dans le cadre de la recherche locale »
in Journées Francophones de la Programmation par Contraintes (JFPC'09), june 2009.
[BibTeX]