Le Berre, Daniel; Marquis, Pierre; Wallon, Romain On weakening strategies for PB solvers. (English) Zbl 07331030 Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 322-331 (2020). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{D. Le Berre} et al., Lect. Notes Comput. Sci. 12178, 322--331 (2020; Zbl 07331030) Full Text: DOI arXiv
Koriche, Frédéric; Le Berre, Daniel; Lonca, Emmanuel; Marquis, Pierre Fixed parameter tractable optimization under DNNF constraints. (English) Zbl 1403.68241 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 1194-1202 (2016). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{F. Koriche} et al., Front. Artif. Intell. Appl. 285, 1194--1202 (2016; Zbl 1403.68241) Full Text: DOI
Le Berre, Daniel; Marquis, Pierre; Öztürk, Meltem Aggregating interval orders by propositional optimization. (English) Zbl 1260.91072 Rossi, Francesca (ed.) et al., Algorithmic decision theory. First international conference, ADT 2009, Venice, Italy, October 20–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04427-4/pbk). Lecture Notes in Computer Science 5783. Lecture Notes in Artificial Intelligence, 249-260 (2009). MSC: 91B08 68T20 91B14 PDFBibTeX XMLCite \textit{D. Le Berre} et al., Lect. Notes Comput. Sci. 5783, 249--260 (2009; Zbl 1260.91072) Full Text: DOI
Coste-Marquis, Sylvie; Le Berre, Daniel; Letombe, Florian; Marquis, Pierre Complexity results for quantified Boolean formulae based on complete propositional languages. (English) Zbl 1116.68082 J. Satisf. Boolean Model. Comput. 1, No. 1, 61-88 (2006). MSC: 68T20 68T30 PDFBibTeX XMLCite \textit{S. Coste-Marquis} et al., J. Satisf. Boolean Model. Comput. 1, No. 1, 61--88 (2006; Zbl 1116.68082)