Bertrand Mazure

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 13

Top Topics

Propositional Satisfiability

Top Venues

Constraints An Int. J.

Publications

Thibault Falque, Bertrand Mazure, Karim Tabia
Machine learning for predicting off-block delays: A case study at Paris - Charles de Gaulle International Airport. Data Knowl. Eng. 152 (2024)
Thibault Falque, Gilles Audemard, Christophe Lecoutre, Bertrand Mazure
Check-In Desk Scheduling Optimisation at CDG International Airport. AAAI (2024)
Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Romain Wallon
Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport. ICAART (3) (2024)
Thibault Falque, Bertrand Mazure, Karim Tabia
Predicting Off-Block Delays: A Case Study at Paris - Charles de Gaulle International Airport. ICAART (2) (2023)
Thibault Falque, Bertrand Mazure, Karim Tabia
Prédire et expliquer les retards au décollage : Une étude de cas à l'aéroport international de Paris - Charles de Gaulle. EGC (2023)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
Symbolic Explanations for Multi-Label Classification. ICAART (3) (2023)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration. CoRR (2022)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
A Symbolic Approach for Counterfactual Explanations. CoRR (2022)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. CoRR (2022)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. CIKM (2021)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
A Symbolic Approach for Counterfactual Explanations. SUM (2020)
Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure
Combining Nogoods in Restart-Based Search. CP (2017)
Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
About some UP-based polynomial fragments of SAT. Ann. Math. Artif. Intell. 79 (1-3) (2017)
Éric Grégoire, Bertrand Mazure
Introduction to the special issue on CSP technologies in artificial intelligence. Constraints An Int. J. 20 (4) (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. AIAI (2015)
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. TABLEAUX (2015)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
On getting rid of the preprocessing minimization step in MUC-finding algorithms. Constraints An Int. J. 20 (4) (2015)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Enforcing Solutions in Constraint Networks. ECAI (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. AAAI (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Multiple Contraction through Partial-Max-SAT. ICTAI (2014)
Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
About Some UP-Based Polynomial Fragments of SAT. ISAIM (2014)
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
A Qualitative Spatio-Temporal Framework Based on Point Algebra. AIMSA (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Boosting MUC extraction in unsatisfiable constraint networks. Appl. Intell. 41 (4) (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
A General Artificial Intelligence Approach for Skeptical Reasoning. AGI (2014)
Balasim Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. ICTAI (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Preserving Partial Solutions While Relaxing Constraint Networks. IJCAI (2013)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Improving MUC extraction thanks to local search. CoRR (2013)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. ICTAI (2013)
David Déharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure
Computing prime implicants. FMCAD (2013)
Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette
Solving E-Squaro through SAT-Coding. ICTAI (2013)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Relax! ICTAI (2012)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
A CSP Solver Focusing on fac Variables. CP (2011)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
On Freezing and Reactivating Learnt Clauses. SAT (2011)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
Boosting Local Search Thanks to cdcl. LPAR (Yogyakarta) (2010)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
Learning in Local Search. ICTAI (2009)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
Integrating Conflict Driven Clause Learning to Local Search LSCS (2009)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Does This Set of Clauses Overlap with at Least One MUS? CADE (2009)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Using local search to find MSSes and MUSes. Eur. J. Oper. Res. 199 (3) (2009)
Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Local Autarkies Searching for the Dynamic Partition of CNF Formulae. ICTAI (2009)
Éric Grégoire, Bertrand Mazure, Cédric Piette
On Finding Minimally Unsatisfiable Cores of CSPS. Int. J. Artif. Intell. Tools 17 (4) (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. ICTAI (1) (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Extraction d'ensembles minimaux incohérents basée sur la recherche locale. Rev. d'Intelligence Artif. 22 (2) (2008)
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Reducing hard SAT instances to polynomial ones. IRI (2007)
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Eliminating Redundant Clauses in SAT Instances. CPAIOR (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette
MUST: Provide a Finer-Grained Explanation of Unsatisfiability. CP (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Local-search Extraction of MUSes. Constraints An Int. J. 12 (3) (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. IJCAI (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. IRI (2006)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Tracking MUSes and Strict Inconsistent Covers. FMCAD (2006)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Extracting MUSes. ECAI (2006)
Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais
Using Boolean Constraint Propagation for Sub-clauses Deduction. CP (2005)
Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
Automatic Extraction of Functional Dependencies. SAT (Selected Papers (2004)
Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
Automatic Extraction of Functional Dependencies. SAT (2004)
Gilles Audemard, Bertrand Mazure, Lakhdar Sais
Dealing with Symmetries in Quantified Boolean Formulas. SAT (2004)
Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire
Eliminating Redundancies in SAT Search Trees. ICTAI (2003)
Éric Grégoire, Bertrand Mazure
About the incremental validation of first-order stratified knowledge-based decision-support systems. Inf. Sci. 142 (1-4) (2002)
Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. AIMSA (2002)
Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Recovering and Exploiting Structural Knowledge from CNF Formulas. CP (2002)
Bertrand Mazure, Lakhdar Sais, Éric Grégoire
Boosting Complete Techniques Thanks to Local Search Methods. Ann. Math. Artif. Intell. 22 (3-4) (1998)
Bertrand Mazure, Lakhdar Sais, Éric Grégoire
System Description: CRIL Platform for SAT. CADE (1998)
Bertrand Mazure, Lakhdar Sais, Éric Grégoire
Tabu Search for SAT. AAAI/IAAI (1997)
Bertrand Mazure, Lakhdar Sais, Éric Grégoire
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. ECSQARU-FAPR (1997)
Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais
Tractable Cover Compilations. IJCAI (1) (1997)
Bertrand Mazure, Lakhdar Sais, Éric Grégoire
An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. Int. J. Cooperative Inf. Syst. 6 (1) (1997)
Bertrand Mazure, Lakhdar Sais, Éric Grégoire
Local Search for Computing Normal Circumstances Models. Fuzzy Days (1997)