Bertrand Mazure

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
No aliases are listed.
Publication record
66 papers · 1,079 citations · H-index 16

PAPERS

Predicting Off-Block Delays: A Case Study at Paris - Charles de Gaulle International Airport
20230 citationsauthor #2
Symbolic Explanations for Multi-Label Classification
20231 citationsauthor #3
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
20220 citationsauthor #3
A Symbolic Approach for Counterfactual Explanations
20229 citationsauthor #3
ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
202137 citationsauthor #3
Combining Nogoods in Restart-Based Search
20173 citationsauthor #5
A Tableau Method for Generalized Qualitative Spatio-Temporal Reasoning
20161 citationsauthor #4
Using Local Search to Find and MUSes
201614 citationsauthor #2
The Implication of Patchwork and Compactness in Qualitative Spatio-Temporal Reasoning
20162 citationsauthor #4
On getting rid of the preprocessing minimization step in MUC-finding algorithms
20150 citationsauthor #3
Introduction to the special issue on CSP technologies in artificial intelligence
20150 citationsauthor #2
Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework
20159 citationsauthor #4
About some UP-based polynomial fragments of SAT
20154 citationsauthor #4
University of Birmingham Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework
20150 citationsauthor #4
On Ordering Spatio-Temporal Sequences to meet Transition Constraints
20151 citationsauthor #4
Introduction to the special issue on CSP technologies in artificial intelligence
20151 citationsauthor #2
On getting rid of the preprocessing minimization step in MUC-finding algorithms
20150 citationsauthor #3
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method
20153 citationsauthor #4
Boosting MUC extraction in unsatisfiable constraint networks
20140 citationsauthor #3
A Qualitative Spatio-Temporal Framework Based on Point Algebra
20145 citationsauthor #4
A General Artificial Intelligence Approach for Skeptical Reasoning
20140 citationsauthor #3
Boosting MUC extraction in unsatisfiable constraint networks
20144 citationsauthor #3
Enforcing Solutions in Constraint Networks
20140 citationsauthor #3
Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT
20140 citationsauthor #3
Multiple Contraction through Partial-Max-SAT
20141 citationsauthor #3
An Experimentally Efficient Method for (MSS, CoMSS) Partitioning
201445 citationsauthor #3
Computing prime implicants
20137 citationsauthor #4
Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms
20134 citationsauthor #3
Improving MUC extraction thanks to local search
20132 citationsauthor #3
Solving E-Squaro through SAT-Coding
20130 citationsauthor #3
Relax!
20120 citationsauthor #3
On Freezing and Reactivating Learnt Clauses
201158 citationsauthor #3
A CSP Solver Focusing on fac Variables
20115 citationsauthor #3
SATHYS: Sat Hybrid Solver
20100 citationsauthor #3
RCL: Reduce learnt clauses
20101 citationsauthor #3
Boosting Local Search Thanks to cdcl
201022 citationsauthor #3
Learning in Local Search
200912 citationsauthor #3
Integrating Conflict Driven Clause Learning to Local Search
20094 citationsauthor #3
Local Autarkies Searching for the Dynamic Partition of CNF Formulae
20091 citationsauthor #2
Does This Set of Clauses Overlap with at Least One MUS?
20095 citationsauthor #2
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses
200834 citationsauthor #2
On Finding Minimally Unsatisfiable Cores of CSPS
200811 citationsauthor #2
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle
200758 citationsauthor #2
Local-search Extraction of MUSes
200749 citationsauthor #2
Reducing hard SAT instances to polynomial ones
200710 citationsauthor #3
Eliminating Redundant Clauses in SAT Instances
200724 citationsauthor #3
MUST: Provide a Finer-Grained Explanation of Unsatisfiability
200717 citationsauthor #2
A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs
20065 citationsauthor #2
Extracting MUSes
200638 citationsauthor #2
Tracking MUSes and Strict Inconsistent Covers
200620 citationsauthor #2
Using Boolean Constraint Propagation for Sub-clauses Deduction
200514 citationsauthor #4
Automatic Extraction of Functional Dependencies
20040 citationsauthor #3
Dealing with Symmetries in Quantified Boolean Formulas
200416 citationsauthor #2
Automatic Extraction of Functional Dependencies
200449 citationsauthor #3
Eliminating redundancies in SAT search trees
20034 citationsauthor #2
Recovering and Exploiting Structural Knowledge from CNF Formulas
2002119 citationsauthor #3
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently
20025 citationsauthor #2
About the incremental validation of first-order stratified knowledge-based decision-support systems
20003 citationsauthor #2
System Description: CRIL Platform for SAT
19989 citationsauthor #1
Boosting complete techniques thanks to local search methods
1998104 citationsauthor #1
Tabu Search for SAT
1997170 citationsauthor #1
Tractable Cover Compilations
199736 citationsauthor #4
Local Search for Computing Normal Circumstances Models
19970 citationsauthor #1
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases
199712 citationsauthor #1
An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases
19978 citationsauthor #1
Logically-complete Local Search for Propositional Nonmonotonic Knowledge Bases
year unknown3 citationsauthor #2

TIMELINE

1997 226 citations

1998 113 citations

2000 3 citations

2002 124 citations

2003 4 citations

2004 65 citations

2005 14 citations

2006 63 citations

2007 158 citations

2008 45 citations

2009 22 citations

2010 23 citations

2011 63 citations

2012 0 citations

2013 13 citations

2014 55 citations

2015 18 citations

2016 17 citations

2017 3 citations

2021 37 citations

2022 9 citations

2023 1 citations

Unknown 3 citations

Bertrand Mazure

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT