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 On anti-subsumptive knowledge enforcement. (English) Zbl 1471.68271 Davis, Martin (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24–28, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9450, 48-62 (2015). MSC: 68T27 68T20 PDFBibTeX XMLCite \textit{É. Grégoire} and \textit{J.-M. Lagniez}, Lect. Notes Comput. Sci. 9450, 48--62 (2015; Zbl 1471.68271) 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
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