Bertrand Mazure

65 papers A* 4A 13B 12Misc 6Journal 16Unranked 14

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