Boumazouza, Ryma; Cheikh-Alili, Fahima; Mazure, Bertrand; Tabia, Karim A symbolic approach for counterfactual explanations. (English) Zbl 1517.68325 Davis, Jesse (ed.) et al., Scalable uncertainty management. 14th international conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12322, 270-277 (2020). MSC: 68T05 68T30 PDFBibTeX XMLCite \textit{R. Boumazouza} et al., Lect. Notes Comput. Sci. 12322, 270--277 (2020; Zbl 1517.68325) Full Text: DOI arXiv
Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar About some UP-based polynomial fragments of SAT. (English) Zbl 1404.68137 Ann. Math. Artif. Intell. 79, No. 1-3, 25-44 (2017). MSC: 68T20 68Q25 68T27 PDFBibTeX XMLCite \textit{B. Al-Saedi} et al., Ann. Math. Artif. Intell. 79, No. 1--3, 25--44 (2017; Zbl 1404.68137) Full Text: DOI
Grégoire, Éric; Lagniez, Jean-Marie; Mazure, Bertrand On getting rid of the preprocessing minimization step in MUC-finding algorithms. (English) Zbl 1329.90151 Constraints 20, No. 4, 414-432 (2015). MSC: 90C35 PDFBibTeX XMLCite \textit{É. Grégoire} et al., Constraints 20, No. 4, 414--432 (2015; Zbl 1329.90151) Full Text: DOI
Grégoire, Éric (ed.); Mazure, Bertrand (ed.) Introduction to the special issue on CSP technologies in artificial intelligence. (English) Zbl 1329.00158 Constraints 20, No. 4, 381-382 (2015). MSC: 00B15 68-06 90-06 PDFBibTeX XMLCite \textit{É. Grégoire} (ed.) and \textit{B. Mazure} (ed.), Constraints 20, No. 4, 381--382 (2015; Zbl 1329.00158) Full Text: DOI
Sioutis, Michael; Condotta, Jean-François; Salhi, Yakoub; Mazure, Bertrand Generalized qualitative spatio-temporal reasoning: complexity and tableau method. (English) Zbl 1471.03019 De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 54-69 (2015). MSC: 03B35 03B44 03B62 68T27 PDFBibTeX XMLCite \textit{M. Sioutis} et al., Lect. Notes Comput. Sci. 9323, 54--69 (2015; Zbl 1471.03019) Full Text: DOI
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar On freezing and reactivating learnt clauses. (English) Zbl 1330.68267 Sakallah, Karem A. (ed.) et al., Theory and applications of satisfiability testing – SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21580-3/pbk). Lecture Notes in Computer Science 6695, 188-200 (2011). MSC: 68T20 PDFBibTeX XMLCite \textit{G. Audemard} et al., Lect. Notes Comput. Sci. 6695, 188--200 (2011; Zbl 1330.68267) Full Text: DOI
Audemard, Gilles; Lagniez, Jean-Marie; Mazure, Bertrand; Saïs, Lakhdar Boosting local search thanks to cdcl. (English) Zbl 1306.68138 Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 474-488 (2010). MSC: 68T15 68T20 PDFBibTeX XMLCite \textit{G. Audemard} et al., Lect. Notes Comput. Sci. 6397, 474--488 (2010; Zbl 1306.68138) Full Text: DOI
Grégoire, Éric; Mazure, Bertrand; Piette, Cédric Using local search to find MSSes and MUSes. (English) Zbl 1176.90410 Eur. J. Oper. Res. 199, No. 3, 640-646 (2009). MSC: 90C09 PDFBibTeX XMLCite \textit{É. Grégoire} et al., Eur. J. Oper. Res. 199, No. 3, 640--646 (2009; Zbl 1176.90410) Full Text: DOI
Grégoire, Éric; Mazure, Bertrand; Piette, Cédric Does this set of clauses overlap with at least one MUS? (English) Zbl 1250.68234 Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 100-115 (2009). MSC: 68T15 68T20 PDFBibTeX XMLCite \textit{É. Grégoire} et al., Lect. Notes Comput. Sci. 5663, 100--115 (2009; Zbl 1250.68234) Full Text: DOI
Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar Eliminating redundant clauses in SAT instances. (English) Zbl 1214.68333 Van Hentenryck, Pascal (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 4th international conference, CPAIOR 2007, Brussels, Belgium, May 23–26, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72396-7/pbk). Lecture Notes in Computer Science 4510, 71-83 (2007). MSC: 68T15 68Q25 68T20 PDFBibTeX XMLCite \textit{O. Fourdrinoy} et al., Lect. Notes Comput. Sci. 4510, 71--83 (2007; Zbl 1214.68333) Full Text: DOI
Grégoire, Éric; Mazure, Bertrand; Piette, Cédric MUST: Provide a finer-grained explanation of unsatisfiability. (English) Zbl 1145.68516 Bessière, Christian (ed.), Principles and practice of constraint programming – CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74969-1/pbk). Lecture Notes in Computer Science 4741, 317-331 (2007). MSC: 68T20 PDFBibTeX XMLCite \textit{É. Grégoire} et al., Lect. Notes Comput. Sci. 4741, 317--331 (2007; Zbl 1145.68516) Full Text: DOI
Grégoire, Éric; Mazure, Bertrand; Piette, Cédric Local-search extraction of mUSes. (English) Zbl 1211.90307 Constraints 12, No. 3, 325-344 (2007). MSC: 90C59 68T20 PDFBibTeX XMLCite \textit{É. Grégoire} et al., Constraints 12, No. 3, 325--344 (2007; Zbl 1211.90307) Full Text: DOI
Darras, S.; Dequen, G.; Devendeville, L.; Mazure, B.; Ostrowski, R.; Saïs, L. Using Boolean constraint propagation for sub-clauses deduction. (English) Zbl 1153.68456 van Beek, Peter (ed.), Principles and practice of constraint programming – CP 2005. 11th international conference, CP 2005, Sitges, Spain, October 1–5, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-29238-8/pbk). Lecture Notes in Computer Science 3709, 757-761 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{S. Darras} et al., Lect. Notes Comput. Sci. 3709, 757--761 (2005; Zbl 1153.68456) Full Text: DOI
Grégoire, Éric; Ostrowski, Richard; Mazure, Bertrand; Saïs, Lakhdar Automatic extraction of functional dependencies. (English) Zbl 1122.68597 Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 122-132 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{É. Grégoire} et al., Lect. Notes Comput. Sci. 3542, 122--132 (2005; Zbl 1122.68597) Full Text: DOI
Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar Using failed local search for SAT as an oracle for tackling harder A. I. problems more efficiently. (English) Zbl 1020.68512 Scott, Donia (ed.), Artificial intelligence: methodology, systems, and applications. 10th international conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2443, 51-60 (2002). MSC: 68T20 68Q17 PDFBibTeX XMLCite \textit{É. Grégoire} et al., Lect. Notes Comput. Sci. 2443, 51--60 (2002; Zbl 1020.68512) Full Text: Link
Grégoire, Éric; Mazure, Bertrand About the incremental validation of first-order stratified knowledge-based decision-support systems. (English) Zbl 1033.68106 Inf. Sci. 142, No. 1-4, 117-129 (2002). MSC: 68T35 68U99 68U35 PDFBibTeX XMLCite \textit{É. Grégoire} and \textit{B. Mazure}, Inf. Sci. 142, No. 1--4, 117--129 (2002; Zbl 1033.68106) Full Text: DOI
Mazure, Bertrand; Saïs, Lakhdar; Grégoire, Éric Boosting complete techniques thanks to local search methods. (English) Zbl 0905.68143 Ann. Math. Artif. Intell. 22, No. 3-4, 319-331 (1998). MSC: 68T30 PDFBibTeX XMLCite \textit{B. Mazure} et al., Ann. Math. Artif. Intell. 22, No. 3--4, 319--331 (1998; Zbl 0905.68143) Full Text: DOI