Library

2022 Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis and Clément Quinton. "Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits". CoRR abs/2202.05938.
2021 Florent Capelli, Jean-Marie Lagniez, Pierre Marquis. "Certifying Top-Down Decision-DNNF Compilers". Proceedings of AAAI'21, pages 6244-6253.
2020 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis. "Definability for model counting". Artif. Intell. 281: 103229 (2020).
Gilles Audemard, Frédéric Koriche, Pierre Marquis. "2020". On Tractable XAI Queries based on Compiled Representations.
2018 Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski. "DMC: A Distributed Model Counter". Proceedings of IJCAI'18, pages 1331-1338.
Jean-Marie Lagniez, Pierre Marquis. "A Recursive Algorithm for Projected Model Counting". Proceedings of AAAI'19, pages 1536-1543.
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon. "Pseudo-Boolean Constraints from a Knowledge Representation Perspective". Proceedings of IJCAI'18, pages 1891-1897.
2017 Sébastien Konieczny, Jean-Marie Lagniez and Pierre Marquis. "SAT Encodings for Distance-Based Belief Merging Operators". Proceedings of AAAI'17, pages 1163-1169.
Sébastien Konieczny, Jean-Marie Lagniez and Pierre Marquis. "Boosting Distance-Based Revision using SAT Encodings". Proceedings of LORI'17, pages 480-496.
Jean-Marie Lagniez, Pierre Marquis and Anastasia Paparrizou. " Defining and Evaluating Heuristics for the Compilation of Constraint Networks". Proceedings of CP'2017, pages 172-188.
Jean-Marie Lagniez and Pierre Marquis. "On Preprocessing Techniques and Their Impact on Propositional Model Counting". Journal of Automated Reasoning, Volume 58, pages 413-481.
Jean-Marie Lagniez and Pierre Marquis. "An Improved Decision-DNNF Compiler". Proceedings of IJCAI'17, pages 667-673.
2016 Jean-Marie Lagniez, Emmanuel Lonca and Pierre Marquis. "Improving Model Counting by Leveraging Definability". Proceedings of IJCAI'16, pages 751-757.
Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca and Pierre Marquis. "Fixed-Parameter Tractable Optimization Under DNNF Constraints". Proceedings of ECAI'16, pages 1194-1202.
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez and Pierre Marquis. "An Improved CNF Encoding Scheme for Probabilistic Inference". Proceedings of ECAI'16, pages 613-621.
2015 Pierre Marquis. "Compile!". Proceedings of AAAI'15, pages 4112-4118.
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis and Samuel Thomas. "Compiling Constraint Networks into Multivalued Decomposable Decision Graphs". Proceedings of IJCAI'15, pages 332-338.
2014 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez and Pierre Marquis. "Symmetry-Driven Decision Diagrams for Knowledge Compilation". Proceedings of ECAI'14, pages 51-56.