Bertrand Mazure

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Symbolic Approach for Counterfactual Explanations 1517.68325	2022-12-22	Paper
About some UP-based polynomial fragments of SAT Annals of Mathematics and Artificial Intelligence	2017-03-06	Paper
On getting rid of the preprocessing minimization step in MUC-finding algorithms Constraints	2016-01-15	Paper
Generalized qualitative spatio-temporal reasoning: complexity and tableau method Lecture Notes in Computer Science	2015-12-11	Paper
On freezing and reactivating learnt clauses Theory and Applications of Satisfiability Testing - SAT 2011	2011-06-17	Paper
Boosting local search thanks to \textsc{cdcl} Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Using local search to find MSSes and MUSes European Journal of Operational Research	2009-12-07	Paper
Does This Set of Clauses Overlap with at Least One MUS? Automated Deduction – CADE-22	2009-07-28	Paper
Eliminating Redundant Clauses in SAT Instances Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2009-03-10	Paper
Using Boolean Constraint Propagation for Sub-clauses Deduction Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
MUST: Provide a Finer-Grained Explanation of Unsatisfiability Principles and Practice of Constraint Programming – CP 2007	2008-09-02	Paper
Local-search extraction of mUSes Constraints	2007-10-11	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-16	Paper
scientific article; zbMATH DE number 1943828 (Why is no real title available?)	2003-07-01	Paper
About the incremental validation of first-order stratified knowledge-based decision-support systems Information Sciences	2003-02-11	Paper
Boosting complete techniques thanks to local search methods Annals of Mathematics and Artificial Intelligence	1998-11-25	Paper

Research outcomes over time

This page was built for person: Bertrand Mazure