| CoQuiAAS: A constraint-based quick abstract argumentation solver JM Lagniez, E Lonca, JG Mailly 2015 IEEE 27th International Conference on Tools with Artificial …, 2015 | 72 | 2015 |
| Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 2014 | 64 | 2014 |
| Improving Model Counting by Leveraging Definability. JM Lagniez, E Lonca, P Marquis IJCAI, 751-757, 2016 | 45 | 2016 |
| Automated metamorphic testing of variability analysis tools S Segura, A Durán, AB Sánchez, DL Berre, E Lonca, A Ruiz‐Cortés Software Testing, Verification and Reliability 25 (2), 138-163, 2015 | 38 | 2015 |
| Definability for model counting JM Lagniez, E Lonca, P Marquis Artificial Intelligence 281, 103229, 2020 | 27 | 2020 |
| Introducing the fourth international competition on computational models of argumentation JM Lagniez, E Lonca, JG Mailly, J Rossit Third International Workshop on Systems and Algorithms for Formal Argumentation, 2020 | 18 | 2020 |
| Design and results of ICCMA 2021 JM Lagniez, E Lonca, JG Mailly, J Rossit arXiv preprint arXiv:2109.08884, 2021 | 13 | 2021 |
| Reasoning on Feature Models: Compilation-Based vs P Bourhis, L Duchien, J Dusart, E Lonca, P Marquis, C Quinton arXiv preprint arXiv:2302.06867, 2023 | 6 | 2023 |
| Reasoning on Feature Models: Compilation-Based vs. Direct Approaches P Bourhis, L Duchien, J Dusart, E Lonca, P Marquis, C Quinton arXiv preprint arXiv:2302.06867, 2023 | 5 | 2023 |
| Fixed-parameter tractable optimization under DNNF constraints F Koriche, D Le Berre, E Lonca, P Marquis ECAI 2016, 1194-1202, 2016 | 5 | 2016 |
| Pseudo polynomial-time top-k algorithms for d-DNNF circuits P Bourhis, L Duchien, J Dusart, E Lonca, P Marquis, C Quinton arXiv preprint arXiv:2202.05938, 2022 | 4 | 2022 |
| CoQuiAAS v3. 0 ICCMA 2019 solver description JM Lagniez, E Lonca, JG Mailly System descriptions of the Third International Competition on Computational …, 2019 | 4 | 2019 |
| Utilisation de méthodes d’agrégation multi critère appliqués à la gestion de dépendances. Master Recherche E Lonca Université d’Artois, 2011 | 4 | 2011 |
| On the complexity of optimization problems based on compiled NNF representations DL Berre, E Lonca, P Marquis arXiv preprint arXiv:1410.6690, 2014 | 3 | 2014 |
| Automated metamorphic testing on the analysis of software variability S Segura, A Durán, AB Sánchez, D Le Berre, E Lonca, A Ruiz-Cortés Tech. Rep. SA-2013-TR-03, University of Seville, 2013 | 3 | 2013 |
| Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne. D Le Berre, E Lonca Rev. d'Intelligence Artif. 28 (5), 615-636, 2014 | 2 | 2014 |
| Optimisation multicritère pour la gestion de dépendances logicielles: utilisation de la norme de Tchebycheff D Le Berre, E Lonca, P Marquis, A Parrain RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), 978-2 …, 2012 | 2 | 2012 |
| Proceedings of the 2024 XCSP3 Competition G Audemard, C Lecoutre, E Lonca arXiv preprint arXiv:2412.00117, 2024 | 1 | 2024 |
| Leveraging decision-DNNF compilation for enumerating disjoint partial models JM Lagniez, E Lonca 21st International Conference on Principles of Knowledge Representation and …, 2024 | 1 | 2024 |
| A SAT-based Approach for Argumentation Dynamics JM Lagniez, E Lonca, JG Mailly Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024 | 1 | 2024 |
