| Detecting cardinality constraints in CNF A Biere, DL Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 2014 | 57 | 2014 |
| Coquiaas: A constraint-based quick abstract argumentation solver JM Lagniez, E Lonca, JG Mailly 2015 IEEE 27th International Conference on Tools with Artificial …, 2015 | 54 | 2015 |
| Improving Model Counting by Leveraging Definability. JM Lagniez, E Lonca, P Marquis IJCAI, 751-757, 2016 | 26 | 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 | 26 | 2015 |
| Definability for model counting JM Lagniez, E Lonca, P Marquis Artificial Intelligence 281, 103229, 2020 | 8 | 2020 |
| Introducing the Fourth International Competition on Computational Models of Argumentation. JM Lagniez, E Lonca, JG Mailly, J Rossit SAFA@ COMMA, 80-85, 2020 | 4 | 2020 |
| 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 |
| 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 | 3 | 2016 |
| 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 |
| On the complexity of optimization problems based on compiled NNF representations DL Berre, E Lonca, P Marquis arXiv preprint arXiv:1410.6690, 2014 | 2 | 2014 |
| 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 |
| 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 | 1 | 2022 |
| CoQuiAAS v2. 0: Taking Benefit from Constraint Programming to Solve Argumentation Problems J Lagniez, E Lonca, J Mailly | 1 | 2017 |
| Design and Results of ICCMA 2021 JM Lagniez, E Lonca, JG Mailly, J Rossit arXiv preprint arXiv:2109.08884, 2021 | | 2021 |
| The Fourth International Competition on Computational Models of Argumentation JM Lagniez, E Lonca, JG Mailly, J Rossit | | 2020 |
| Artificial Intelligence Conferences Closeness. S Konieczny, E Lonca IJCAI, 5158-5164, 2018 | | 2018 |
| 1 Solver Description D Le Berre, E Lonca | | 2017 |
| JFPC 2016 M Ghallab, B Rottembourg, J Thapper, F Koriche, S Lagrue, E Piette, ... Journées Francophones de Programmation par Contraintes, 2016 | | 2016 |
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
