Detecting Cardinality Constraints in CNF. - Armin Biere; Daniel Le Berre; Emmanuel Lonca; Norbert Manthey (SAT, 2014)

On the Complexity of Optimization Problems based on Compiled NNF Representations. - Daniel Le Berre; Emmanuel Lonca; Pierre Marquis (CoRR, 2014)

Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne. - Daniel Le Berre; Emmanuel Lonca (Rev. d'Intelligence Artif., 2014)

CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver. - Jean-Marie Lagniez; Emmanuel Lonca; Jean-Guy Mailly (ICTAI, 2015)

Automated metamorphic testing of variability analysis tools. - Sergio Segura; Amador Durán 001; Ana Belén Sánchez; Daniel Le Berre; Emmanuel Lonca; Antonio Ruiz Cortés (Softw. Test. Verification Reliab., 2015)

Fixed-Parameter Tractable Optimization Under DNNF Constraints. - Frédéric Koriche; Daniel Le Berre; Emmanuel Lonca; Pierre Marquis (ECAI, 2016)

Improving Model Counting by Leveraging Definability. - Jean-Marie Lagniez; Emmanuel Lonca; Pierre Marquis (IJCAI, 2016)

Artificial Intelligence Conferences Closeness. - Sébastien Konieczny; Emmanuel Lonca (IJCAI, 2018)

Introducing the Fourth International Competition on Computational Models of Argumentation. - Jean-Marie Lagniez; Emmanuel Lonca; Jean-Guy Mailly; Julien Rossit (SAFA@COMMA, 2020)

Definability for model counting. - Jean-Marie Lagniez; Emmanuel Lonca; Pierre Marquis (Artif. Intell., 2020)

Design and Results of ICCMA 2021. - Jean-Marie Lagniez; Emmanuel Lonca; Jean-Guy Mailly; Julien Rossit (CoRR, 2021)

Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits. - Pierre Bourhis; Laurence Duchien; Jérémie Dusart; Emmanuel Lonca; Pierre Marquis; Clément Quinton (CoRR, 2022)

Proceedings of the 2022 XCSP3 Competition. - Gilles Audemard; Christophe Lecoutre; Emmanuel Lonca (CoRR, 2022)

A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation. - Jean-Marie Lagniez; Emmanuel Lonca; Jean-Guy Mailly; Julien Rossit (Arg&App@KR, 2023)

Reasoning on Feature Models: Compilation-Based vs. Direct Approaches. - Pierre Bourhis; Laurence Duchien; Jérémie Dusart; Emmanuel Lonca; Pierre Marquis; Clément Quinton (CoRR, 2023)

Proceedings of the 2023 XCSP3 Competition. - Gilles Audemard; Christophe Lecoutre; Emmanuel Lonca (CoRR, 2023)

A SAT-based Approach for Argumentation Dynamics. - Jean-Marie Lagniez; Emmanuel Lonca; Jean-Guy Mailly (AAMAS, 2024)

Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models. - Jean-Marie Lagniez; Emmanuel Lonca (KR, 2024)

Proceedings of the 2024 XCSP3 Competition. - Gilles Audemard; Christophe Lecoutre; Emmanuel Lonca (CoRR, 2024)

Enhancing Query Efficiency for D-DNNF Representations Through Preprocessing. - Jean-Marie Lagniez; Emmanuel Lonca (JELIA (2), 2025)

The third and fourth international competitions on computational models of argumentation: Design, results and analysis. - Stefano Bistarelli; Lars Kotthoff; Jean-Marie Lagniez; Emmanuel Lonca; Jean-Guy Mailly; Julien Rossit; Francesco Santini 001; Carlo Taticchi (Argument Comput., 2025)