Library

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.