Publications

Article(s) de revue(s) internationale(s)

2017 Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, About some UP-based polynomial fragments of SAT in International Journal of Annals of Mathematics and Artificial Intelligence (AMAI),vol. 79, n° 1, pp. 25-44, février 2017.

2015 Éric Grégoire, Bertrand Mazure, Introduction to the special issue on CSP technologies in artificial intelligence in Constraints,vol. 20, Springer US, pp. 381-382, octobre 2015. (Issue 4)

2015 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, On getting rid of the preprocessing minimization step in MUC-finding algorithms in Constraints,vol. 20, Springer US, pp. 414-432, 2015. (Issue 4)

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Boosting MUC extraction in unsatisfiable constraint networks in Applied Intelligence,vol. 41, n° 4, pp. 1012-1023, 2014.

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Using local search to find MSSes and MUSes in European Journal of Operational Research (EJOR),vol. 199, n° 3, pp. 640-646, decembre 2009.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, On Finding Minimally Unsatisfiable Cores of CSPs in International Journal on Artificial Intelligence Tools (IJAIT),vol. 17, n° 4, pp. 745 - 763, août 2008.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Local-Search Extraction of MUSes in Constraints,vol. 12, n° 3, pp. 325-344, septembre 2007.

2002 Éric Grégoire, Bertrand Mazure, About the incremental validation of first-order stratified knowledge-based decision-support systems in Information Sciences,vol. 142, Elsevier, pp. 117-129, 2002.

1998 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Boosting complete techniques thanks to local search in Annals of Mathematics and Artificial Intelligence,vol. 22, pp. 309-322, 1998.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, An efficient technique to ensure the logical consistency of cooperative agents in International Journal of Cooperative Information Systems,vol. 6, n° 1, pp. 27-36, 1997.

Article(s) de conférence(s) internationale(s)

2015 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method in International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’15),Springer, pp. 54-69, 2015.

2015 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, David A. Randell, Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework in Artificial Intelligence Applications and Innovations (AIAI),Springer, pp. 130-150, 2015.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, A General Artificial Intelligence Approach for Skeptical Reasoning in 7th Conference on Artificial General Intelligence (AGI’14),pp. 33-42, 2014.

2014 Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, About Some UP-Based Polynomial Fragments of SAT in International Symposium on Artificial Intelligence and Mathematics (ISAIM’14),janvier 2014.

2014 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, A Qualitative Spatio-Temporal Framework Based on Point Algebra in 16th Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA’14),pp. 117-128, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Enforcing Solutions in Constraint Networks in 21st European Conference on Artificial Intelligence (ECAI’14),pp. 1017-1018, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Multiple Contraction through Partial-Max-SAT in 26th International Conference on Tools with Artificial Intelligence (ICTAI’14),pp. 321-327, 2014.

2014 Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Extensions and Variants of Dalal’s Quad Polynomial Fragments of SAT in 26th International Conference on Tools with Artificial Intelligence (ICTAI’14),pp. 446-452, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, An Experimentally Efficient Method for (MSS, CoMSS) Partitioning in 28th Conference on Artificial Intelligence (AAAI’14),pp. 2666-2673, 2014.

2013 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Questioning the Importance of WCORE-like Minimization steps in MUC-finding Algorithms in 25th International Conference on Tools with Artificial Intelligence (ICTAI’13),IEEE Press, pp. 923-930, 2013.

2013 Éric Grégoire, Atef Hasni, Cédric Piette, Bertrand Mazure, Solving E-SquarO through SAT-coding in 25th International Conference on Tools with Artificial Intelligence (ICTAI’13),IEEE Press, pp. 955-962, 2013.

2013 David Deharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure, Computing prime implicants in 13th International Conference on Formal Methods in Computer-Aided Design (FMCAD’13),IEEE Press, 2013.

2013 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Preserving Partial Solutions while Relaxing Constraint Networks in 23th International Joint Conference on Artificial Intelligence (IJCAI’13),pp. 552–558, août 2013.

2012 Jean-Marie Lagniez, Éric Grégoire, Bertrand Mazure, A Data Structure Boosting The Performance Of Local Search For Csp Solving in International Conference on Metaheuristics and Nature Inspired Computing (META’12),octobre 2012.

2012 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Relax! in 24th International Conference on Tools with Artificial Intelligence (ICTAI’12),IEEE Computer Press, pp. 146–153, novembre 2012.

2011 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, On freezeing and reactivating learnt clauses in 14th International Conference on Theory and Applications of Satisfiability Testing (SAT’11),Springer, Lecture Notes in Computer Science (LNCS), vol. 6695, pp. 188-200, juin 2011. (Best paper award)

2011 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, A CSP solver focusing on FAC variables in 17th International Conference on Principles and Practice of Constraint Programming (CP’11),Springer, Lecture Notes in Computer Science (LNCS), vol. 6876, pp. 493-507, septembre 2011.

2010 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),Springer, Lecture Notes in Computer Science (LNCS), vol. 6397, pp. 474–488, octobre 2010.

2009 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Integrating Conflict Driven Clause Learning to Local Search in 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS’09),septembre 2009. (dans le cadre de CP’09)

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Does this set of clauses overlap with at least one MUS? in 22nd International Conference on Automated Deduction (CADE 22),Springer, Lecture Notes in Computer Science (LNCS), vol. 5663, pp. 100-115, août 2009.

2009 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, pp. 417-424, novembre 2009.

2009 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Local autarkies searching for the dynamic partition of CNF formulae in 21st International Conference on Tools with Artificial Intelligence (ICTAI’09),IEEE Computer Society, pp. 107-114, novembre 2009.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, On Approaches to Explaining Infeasibility of Sets of Boolean Clauses in 20th International Conference on Tools with Artificial Intelligence (ICTAI’08),IEEE Computer Society, pp. 74-83, novembre 2008.

2007 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Reducing hard SAT instances to polynomial ones in the 2007 IEEE international conference on Information Reuse and Integration (IEEE-IRI’07),pp. 18-23, août 2007.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Boosting a Complete Technique to Find MSS and MUS thanks to a Local Search Oracle in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’07),pp. 2300-2305, janvier 2007.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, MUST: Provide a Finer-Grained Explanation of Unsatisfiability in 13th International Conference on Principles and Practice of Constraint Programming (CP’07),LNCS 4741, pp. 317-331, septembre 2007. [Download]

2007 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Eliminating Redundant Clauses in Sat Instances in The Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR’07),Lecture Notes in Computer Science (LNCS 4510), Springer, pp. 71-83, mai 2007. (lncs 4510)

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Saïs, A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs in Proceedings of the IEEE International Conference on Information Reuse and Integration (IEEE-IRI’2006),pp. 325-329, septembre 2006.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Tracking MUSes and Strict Inconsistent Covers in Sixth ACM/IEEE International Conference on Formal Methods in Computer Aided Design (FMCAD’06),pp. 39-46, novembre 2006.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extracting MUSes in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006),pp. 387-391, août 2006. [Download]

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Une méta-heuristique basée sur le comptage de contraintes falsifiées in First workshop on Metaheuristics (META’06),Actes électroniques, novembre 2006.

2005 Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Automatic extraction of functional dependencies in Theory and Applications of Satisfiability Testing: 7th International Conference (SAT 2004), Revised Selected Papers,LNCS 3542, pp. 122-132, 2005.

2005 Éric Grégoire, Bertrand Mazure, Cédric Piette, A new local search algorithm to compute inconsistent kernels in Proceedings of the 6th International Meta-heuristics International Conference (MIC’05),Actes électroniques, août 2005.

2005 Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Saïs, Using Boolean Constraint Propagation for Sub-clause Deduction in Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP’05),LNCS 3709, Springer Verlag, pp. 757-761, octobre 2005.

2005 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Exploring Hybrid Algorithms for SAT in Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR?2005) (short papers),pp. 33-37, decembre 2005. (short paper)

2004 Gilles Audemard, Bertrand Mazure, Lakhdar Saïs, Dealing with Symmetries in Quantified Boolean Formulas in Proc. of the Seventh International Conference on Theory and Applications of Satisfiability Testing,pp. 257-262, 2004.

2003 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Eliminating redundancies in SAT search trees in Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’2003),pp. 100-104, novembre 2003.

2002 Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Recovering and exploiting structural knowledge from CNF formulas in Proc. of the Eighth International Conference on Principles and Practice of Constraint Programming (CP’2002),LNCS 2470, Springer Verlag, pp. 185-199, septembre 2002.

2002 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, LSAT solver in Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002),mai 2002. (SAT solvers description)

2002 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Using failed local search for SAT as an oracle for tackling harder A.I. problems more efficiently in Proc. of the Tenth International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA’2002),LNCS 2443, Springer Verlag, pp. 51-60, septembre 2002.

1998 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, System Description: CRIL Platform for SAT in Proc. of the 15th Intl. Conf. on Automated Deduction (CADE-15),LNCS 1421, Springer Verlag, pp. 124-128, juillet 1998.

1998 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Logically-complete local search for propositional nonmonotonic knowledge bases in Proc. of the 7th Intl. Workshop on Nonmonotonic Reasoning (NMR-98),pp. 37-45, juin 1998.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, A comparison of two approaches to inconsistency detecting in Proceedigns of the European Symposium on Intelligent Techniques (ESIT’97),mars 1997.

1997 Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Saïs, Tractable cover compilations in Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97),pp. 122-127, août 1997.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases in Proceedings International Joint Conference on Qualitative and Quantitative Practical Reasoning,LNAI 1244, Springer Verlag, pp. 122-130, juin 1997.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Tabu Search for SAT in Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97),pp. 281-285, juillet 1997.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Local search for computing normal circumstances models in Proceedings oh the International Conference on Computational Intelligence (ICCI’97),LNCS 1226, Springer Verlag, pp. 55-56, avril 1997.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Detecting Logical Inconsistencies in Proc. AI and Maths Symposium,pp. 116-121, janvier 1996.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, SUN : a Multistrategy Platform for SAT in Proc. First Int. Competition and Symposium on Satisfiability Testing,mars 1996. (SAT solvers description)

1996 Bertrand Mazure, Pierre Marquis, Theory Reasoning within Implicant Cover Compilations in Proceedings of the ECAI-96 Workshop on Advances in Propositional Deduction,pp. 65-69, août 1996.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, A Powerful Heuristic to Locate Inconsistent Kernels in Knowledge-Based Systems in Proc. Int. Conf. on Inform. Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-96),pp. 1265-1269, juillet 1996.

1995 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, TWSAT : a new local search algorithm for SAT : performance and analysis in Proc. CP-Workshop on Solving Really Hard Problems,pp. 127-130, septembre 1995.

Article(s) de revue(s) nationale(s)

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, MUST et couvertures de MUST pour l’explication et la réparation de CSP incohérents au niveau tuple in Information-Interaction-Intelligence (Revue I3),vol. 8, n° 2, pp. 181-202, 2008.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extraction d’ensembles minimaux conflictuels basée sur la recherche locale in Revue d’Intelligence Artificielle (RIA),vol. 22, n° 2, pp. 161-181, avril 2008.

Article(s) de conférence(s) nationale(s)

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Une méthode expérimentalement efficace de partition d’une CNF en un MSS et un CoMSS in 10ièmes Journées Francophones de Programmation par Contraintes (JFPC’14),pp. 183-192, 2014.

2010 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Approche hybride pour SAT in 17ième Congrès Francophone sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA’10),pp. 279–286, janvier 2010. [Download]

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Localiser des sources d’incohérence spécifiques sans les calculer toutes in 5ièmes Journées Francophones de la Programmation par Contraintes (JFPC’09),pp. 95-104, juin 2009.

2009 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Analyse de conflits dans le cadre de la recherche locale in 5ièmes Journées Francophones de la Programmation par Contraintes (JFPC’09),pp. 215-224, juin 2009. [Download]

2008 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Réduction d’instances de SAT vers des instances polynomiales in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’08),pp. 388-396, janvier 2008.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Explication et réparation de l’incohérence dans les CSP : de la contrainte au tuple in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’08),pp. 258-267, janvier 2008.

2007 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Suppression des clauses redondantes dans des instances SAT in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 28-37, juin 2007.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 143-150, juin 2007.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extraction de sous-formules minimales inconsistantes in Actes des secondes Journées Francophones de Programmation par Contraintes (JFPC’2006),pp. 201-208, juin 2006.

2006 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Heuristique d’ordonnancement des variables pour SAT in Congrès de la Société Française de Recherche Opérationelle et d’Aide à la Décision (ROADEF’06),janvier 2006.

2005 Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Saïs, Utilisation de la Propagation de Contraintes pour la Production de Sous-Clauses in Premières Journées Francophones de la Programmation par Contraintes (JFPC’05),pp. 69-78, juin 2005.

2005 Éric Grégoire, Bertrand Mazure, Richard Ostrowski, Lakhdar Saïs, Dépendances Fonctionnelles Booléennes : Détection et Exploitation in Colloque sur l’Optimisation et les Systèmes d’Information (COSI’05),pp. 263-274, 2005.

2004 Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Déduction Automatique de Dépendances fonctionnelles in Dixièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC 2004),pp. 171-180, juin 2004.

2004 Gilles Audemard, Bertrand Mazure, Lakhdar Saïs, Symétries et Formules Booléennes Quantifiées in Journées Nationales de la Résolution Pratique des Problèmes {NP}-Complets (JNPC),pp. 43 - 53, 2004.

2004 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Elimination des redondances dans les algorithmes de résolution de SAT in Actes du Quatorzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA-2004),vol. 3, pp. 1343-1350, janvier 2004.

2002 Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Techniques de simplification de CNF in Actes des 8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC-02),pp. 181-194, mai 2002.

1998 Éric Grégoire, Bertrand Mazure, Une méthode complète de recherche locale pour des bases de connaissance propositionnelles non monotones in Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98),pp. 91-99, 1998.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Deux approches pour la résolution du problème SAT in Actes de la deuxième Conférence Nationale sur la Résolution Pratique des Problèmes NP-complets (CNCP-96),Teknéa Editions, pp. 103-114, mars 1996.

Chapitre(s) d'ouvrage(s)

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Sous-formules minimales insatisfaisables in Problème SAT : progrès et défis,chapitre 8, pp. 221-242, Lakhdar Saïs (Eds.), Hermes, 2008.

Thèse(s) de doctorat

1999 Bertrand Mazure, De la satisfaisabilité à la compilation de bases de connaissances propositionnelles CRIL, Lens, France, janvier 1999.

Habilitation(s) à Diriger des Recherches

2010 Bertrand Mazure, SAT et au-delà de SAT : Modèles et Algorithmes Université d’Artois, janvier 2010.

Rapport(s) technique(s)

2010 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, SatHYS: Sat Hybrid Solver Proceedings of SAT Race 2010: Solver and Benchmarks Descriptions, Edinburgh, Scotland, UK, juillet 2010.

2010 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, RCL: Reduce learnt clauses Proceedings of SAT Race 2010: Solver and Benchmarks Descriptions, Edinburgh, Scotland, UK, juillet 2010.

2003 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, LSAT Solver v2.0 in Manuel Technique : description du solveur soumis à la compétition SAT’03,2003.

2002 Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Recovering and exploiting structural knowledge from CNF formulas Lens, France, avril 2002.

Rapport(s) de DEA / Master recherche

1995 Bertrand Mazure, Expérimentations, analyse et améliorations des méthodes de résolution du problème SAT Lens, France, juillet 1995.