| Coquiaas: A constraint-based quick abstract argumentation solver JM Lagniez, E Lonca, JG Mailly 2015 IEEE 27th International Conference on Tools with Artificial …, 2015 | 65 | 2015 |
| Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 2014 | 60 | 2014 |
| Improving Model Counting by Leveraging Definability. JM Lagniez, E Lonca, P Marquis IJCAI, 751-757, 2016 | 37 | 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 | 35 | 2015 |
| Definability for model counting JM Lagniez, E Lonca, P Marquis Artificial Intelligence 281, 103229, 2020 | 18 | 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 | 15 | 2020 |
| Design and results of ICCMA 2021 JM Lagniez, E Lonca, JG Mailly, J Rossit arXiv preprint arXiv:2109.08884, 2021 | 9 | 2021 |
| Fixed-parameter tractable optimization under DNNF constraints F Koriche, DL Berre, E Lonca, P Marquis Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 4 | 2016 |
| 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 |
| CoQuiAAS v3. 0 ICCMA 2019 solver description JM Lagniez, E Lonca, JG Mailly System descriptions of the Third International Competition on Computational …, 2019 | 3 | 2019 |
| 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 |
| 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 | 2 | 2023 |
| 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 | 2 | 2022 |
| 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 |
| A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation JM Lagniez, E Lonca, JG Mailly, J Rossit First International Workshop on Argumentation and Applications (Arg&App 2023 …, 2023 | 1 | 2023 |
| The fourth international competition on computational models of argumentation JM Lagniez, E Lonca, JG Mailly, J Rossit | 1 | 2020 |
| CoQuiAAS v2. 0: Taking Benefit from Constraint Programming to Solve Argumentation Problems J Lagniez, E Lonca, J Mailly | 1 | 2017 |
| A SAT-based Approach for Argumentation Dynamics JM Lagniez, E Lonca, JG Mailly Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024 | | 2024 |
Daniel Le BerreCRIL-CNRS Université d'ArtoisDirección de correo verificada de cril.fr
