Tabu Search for SAT. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (AAAI/IAAI, 1997)

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (ECSQARU-FAPR, 1997)

Local Search for Computing Normal Circumstances Models. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (Fuzzy Days, 1997)

Tractable Cover Compilations. - Yacine Boufkhad; Éric Grégoire; Pierre Marquis; Bertrand Mazure; Lakhdar Sais (IJCAI (1), 1997)

An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (Int. J. Cooperative Inf. Syst., 1997)

System Description: CRIL Platform for SAT. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (CADE, 1998)

Boosting Complete Techniques Thanks to Local Search Methods. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (Ann. Math. Artif. Intell., 1998)

Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. - Éric Grégoire; Bertrand Mazure; Lakhdar Sais (AIMSA, 2002)

Recovering and Exploiting Structural Knowledge from CNF Formulas. - Richard Ostrowski; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (CP, 2002)

About the incremental validation of first-order stratified knowledge-based decision-support systems. - Éric Grégoire; Bertrand Mazure (Inf. Sci., 2002)

Eliminating Redundancies in SAT Search Trees. - Richard Ostrowski; Bertrand Mazure; Lakhdar Sais; Éric Grégoire (ICTAI, 2003)

Dealing with Symmetries in Quantified Boolean Formulas. - Gilles Audemard; Bertrand Mazure; Lakhdar Sais (SAT, 2004)

Automatic Extraction of Functional Dependencies. - Éric Grégoire; Richard Ostrowski; Bertrand Mazure; Lakhdar Sais (SAT (Selected Papers, 2004)

Using Boolean Constraint Propagation for Sub-clauses Deduction. - Sylvain Darras; Gilles Dequen; Laure Devendeville; Bertrand Mazure; Richard Ostrowski; Lakhdar Sais (CP, 2005)

Extracting MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (ECAI, 2006)

Tracking MUSes and Strict Inconsistent Covers. - Éric Grégoire; Bertrand Mazure; Cédric Piette (FMCAD, 2006)

A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. - Éric Grégoire; Bertrand Mazure; Cédric Piette; Lakhdar Sais (IRI, 2006)

MUST: Provide a Finer-Grained Explanation of Unsatisfiability. - Éric Grégoire; Bertrand Mazure; Cédric Piette (CP, 2007)

Eliminating Redundant Clauses in SAT Instances. - Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (CPAIOR, 2007)

Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. - Éric Grégoire; Bertrand Mazure; Cédric Piette (IJCAI, 2007)

Reducing hard SAT instances to polynomial ones. - Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (IRI, 2007)

Local-search Extraction of MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Constraints An Int. J., 2007)

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. - Éric Grégoire; Bertrand Mazure; Cédric Piette (ICTAI (1), 2008)

On Finding Minimally Unsatisfiable Cores of CSPS. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Int. J. Artif. Intell. Tools, 2008)

Extraction d'ensembles minimaux incohérents basée sur la recherche locale. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Rev. d'Intelligence Artif., 2008)

Does This Set of Clauses Overlap with at Least One MUS? - Éric Grégoire; Bertrand Mazure; Cédric Piette (CADE, 2009)

Learning in Local Search. - Gilles Audemard; Jean-Marie Lagniez; Bertrand Mazure; Lakhdar Sais (ICTAI, 2009)

Local Autarkies Searching for the Dynamic Partition of CNF Formulae. - Éric Grégoire; Bertrand Mazure; Lakhdar Sais (ICTAI, 2009)

Integrating Conflict Driven Clause Learning to Local Search - Gilles Audemard; Jean-Marie Lagniez; Bertrand Mazure; Lakhdar Sais (LSCS, 2009)

Using local search to find MSSes and MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Eur. J. Oper. Res., 2009)

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

A CSP Solver Focusing on fac Variables. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (CP, 2011)

On Freezing and Reactivating Learnt Clauses. - Gilles Audemard; Jean-Marie Lagniez; Bertrand Mazure; Lakhdar Sais (SAT, 2011)

Relax! - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (ICTAI, 2012)

Computing prime implicants. - David Déharbe; Pascal Fontaine; Daniel Le Berre; Bertrand Mazure (FMCAD, 2013)

Solving E-Squaro through SAT-Coding. - Éric Grégoire; Atef Hasni; Bertrand Mazure; Cédric Piette (ICTAI, 2013)

Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (ICTAI, 2013)

Preserving Partial Solutions While Relaxing Constraint Networks. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (IJCAI, 2013)

Improving MUC extraction thanks to local search. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (CoRR, 2013)

An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (AAAI, 2014)

A General Artificial Intelligence Approach for Skeptical Reasoning. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (AGI, 2014)

A Qualitative Spatio-Temporal Framework Based on Point Algebra. - Michael Sioutis; Jean-François Condotta; Yakoub Salhi; Bertrand Mazure (AIMSA, 2014)

Enforcing Solutions in Constraint Networks. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (ECAI, 2014)

Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. - Balasim Al-Saedi; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (ICTAI, 2014)

Multiple Contraction through Partial-Max-SAT. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (ICTAI, 2014)

About Some UP-Based Polynomial Fragments of SAT. - Mohammad Al-Saedi; Éric Grégoire; Bertrand Mazure; Lakhdar Saïs (ISAIM, 2014)

Boosting MUC extraction in unsatisfiable constraint networks. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (Appl. Intell., 2014)

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework. - Michael Sioutis; Jean-François Condotta; Yakoub Salhi; Bertrand Mazure; David A. Randell (AIAI, 2015)

Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. - Michael Sioutis; Jean-François Condotta; Yakoub Salhi; Bertrand Mazure (TABLEAUX, 2015)

On getting rid of the preprocessing minimization step in MUC-finding algorithms. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (Constraints An Int. J., 2015)

Introduction to the special issue on CSP technologies in artificial intelligence. - Éric Grégoire; Bertrand Mazure (Constraints An Int. J., 2015)

Combining Nogoods in Restart-Based Search. - Gael Glorian; Frédéric Boussemart; Jean-Marie Lagniez; Christophe Lecoutre; Bertrand Mazure (CP, 2017)

About some UP-based polynomial fragments of SAT. - Balasim Al-Saedi; Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Saïs (Ann. Math. Artif. Intell., 2017)

A Symbolic Approach for Counterfactual Explanations. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (SUM, 2020)

ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (CIKM, 2021)

A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (CoRR, 2022)

Prédire et expliquer les retards au décollage : Une étude de cas à l'aéroport international de Paris - Charles de Gaulle. - Thibault Falque; Bertrand Mazure; Karim Tabia (EGC, 2023)

Symbolic Explanations for Multi-Label Classification. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (ICAART (3), 2023)

Predicting Off-Block Delays: A Case Study at Paris - Charles de Gaulle International Airport. - Thibault Falque; Bertrand Mazure; Karim Tabia (ICAART (2), 2023)

Check-In Desk Scheduling Optimisation at CDG International Airport. - Thibault Falque; Gilles Audemard; Christophe Lecoutre; Bertrand Mazure (AAAI, 2024)

Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport. - Thibault Falque; Christophe Lecoutre; Bertrand Mazure; Romain Wallon (ICAART (3), 2024)

Machine learning for predicting off-block delays: A case study at Paris - Charles de Gaulle International Airport. - Thibault Falque; Bertrand Mazure; Karim Tabia (Data Knowl. Eng., 2024)