Bertrand Mazure

Available identifiers

Publication	Date of Publication	Type
A Symbolic Approach for Counterfactual Explanations	2022-12-22	Paper
About some UP-based polynomial fragments of SAT	2017-03-06	Paper
On getting rid of the preprocessing minimization step in MUC-finding algorithms	2016-01-15	Paper
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method	2015-12-11	Paper
On Freezing and Reactivating Learnt Clauses	2011-06-17	Paper
Boosting Local Search Thanks to cdcl	2010-10-12	Paper
Using local search to find MSSes and MUSes	2009-12-07	Paper
Does This Set of Clauses Overlap with at Least One MUS?	2009-07-28	Paper
Eliminating Redundant Clauses in SAT Instances	2009-03-10	Paper
Using Boolean Constraint Propagation for Sub-clauses Deduction	2008-09-09	Paper
MUST: Provide a Finer-Grained Explanation of Unsatisfiability	2008-09-02	Paper
Local-search extraction of mUSes	2007-10-11	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4409859	2003-07-01	Paper
About the incremental validation of first-order stratified knowledge-based decision-support systems	2003-02-11	Paper
Boosting complete techniques thanks to local search methods	1998-11-25	Paper

This page was built for person: Bertrand Mazure