Bertrand Mazure
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
17
Active years
1997–2024
Best venue rank
A*
Where they publish
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Check-In Desk Scheduling Optimisation at CDG International Airport. | Thibault Falque, Gilles Audemard, Christophe Lecoutre, Bertrand Mazure |
| 2024 | ICAART | Parking Scheduling Optimisation at Paris Charles de Gaulle International Airport. | Thibault Falque, Christophe Lecoutre, Bertrand Mazure, Romain Wallon |
| 2023 | ICAART | Symbolic Explanations for Multi-Label Classification. | Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia |
| 2023 | ICAART | Predicting Off-Block Delays: A Case Study at Paris - Charles de Gaulle International Airport. | Thibault Falque, Bertrand Mazure, Karim Tabia |
| 2021 | CIKM | ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. | Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia |
| 2017 | CP | Combining Nogoods in Restart-Based Search. | Gael Glorian, Frdric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure |
| 2015 | TABLEAUX | Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. | Michael Sioutis, Jean-Franois Condotta, Yakoub Salhi, Bertrand Mazure |
| 2014 | AAAI | An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2014 | AIMSA | A Qualitative Spatio-Temporal Framework Based on Point Algebra. | Michael Sioutis, Jean-Franois Condotta, Yakoub Salhi, Bertrand Mazure |
| 2014 | ECAI | Enforcing Solutions in Constraint Networks. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2014 | ISAIM | About Some UP-Based Polynomial Fragments of SAT. | Mohammad Al-Saedi, ric Grgoire, Bertrand Mazure, Lakhdar Sas |
| 2014 | ICTAI | Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. | Balasim Al-Saedi, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2014 | ICTAI | Multiple Contraction through Partial-Max-SAT. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2013 | FMCAD | Computing prime implicants. | David Dharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure |
| 2013 | IJCAI | Preserving Partial Solutions While Relaxing Constraint Networks. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2013 | ICTAI | Solving E-Squaro through SAT-Coding. | ric Grgoire, Atef Hasni, Bertrand Mazure, Cdric Piette |
| 2013 | ICTAI | Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2012 | ICTAI | Relax! | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2011 | CP | A CSP Solver Focusing on fac Variables. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2011 | SAT | On Freezing and Reactivating Learnt Clauses. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
| 2010 | LPAR | Boosting Local Search Thanks to cdcl. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
| 2009 | CADE | Does This Set of Clauses Overlap with at Least One MUS? | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2009 | ICTAI | Learning in Local Search. | Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais |
| 2009 | ICTAI | Local Autarkies Searching for the Dynamic Partition of CNF Formulae. | ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2008 | ICTAI | On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2007 | CP | MUST: Provide a Finer-Grained Explanation of Unsatisfiability. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2007 | CPAIOR | Eliminating Redundant Clauses in SAT Instances. | Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2007 | IJCAI | Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2007 | IRI | Reducing hard SAT instances to polynomial ones. | Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2006 | ECAI | Extracting MUSes. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2006 | FMCAD | Tracking MUSes and Strict Inconsistent Covers. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2006 | IRI | A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. | ric Grgoire, Bertrand Mazure, Cdric Piette, Lakhdar Sais |
| 2005 | CP | Using Boolean Constraint Propagation for Sub-clauses Deduction. | Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais |
| 2004 | SAT | Dealing with Symmetries in Quantified Boolean Formulas. | Gilles Audemard, Bertrand Mazure, Lakhdar Sais |
| 2004 | SAT | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2004 | SAT | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2003 | ICTAI | Eliminating Redundancies in SAT Search Trees. | Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 2002 | AIMSA | Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. | ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2002 | CP | Recovering and Exploiting Structural Knowledge from CNF Formulas. | Richard Ostrowski, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 1998 | CADE | System Description: CRIL Platform for SAT. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | AAAI | Tabu Search for SAT. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | ECSQARU | Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | IJCAI | Tractable Cover Compilations. | Yacine Boufkhad, ric Grgoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais |