Follow
Emmanuel Lonca
Emmanuel Lonca
CRIL - UMR Univ. Artois & CNRS
Verified email at cril.fr
Title
Cited by
Cited by
Year
Detecting cardinality constraints in CNF
A Biere, DL Berre, E Lonca, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2014
572014
Coquiaas: A constraint-based quick abstract argumentation solver
JM Lagniez, E Lonca, JG Mailly
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
542015
Improving Model Counting by Leveraging Definability.
JM Lagniez, E Lonca, P Marquis
IJCAI, 751-757, 2016
262016
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
262015
Definability for model counting
JM Lagniez, E Lonca, P Marquis
Artificial Intelligence 281, 103229, 2020
82020
Introducing the Fourth International Competition on Computational Models of Argumentation.
JM Lagniez, E Lonca, JG Mailly, J Rossit
SAFA@ COMMA, 80-85, 2020
42020
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
42011
CoQuiAAS v3. 0 ICCMA 2019 solver description
JM Lagniez, E Lonca, JG Mailly
System descriptions of the Third International Competition on Computational …, 2019
32019
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
32016
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
32013
On the complexity of optimization problems based on compiled NNF representations
DL Berre, E Lonca, P Marquis
arXiv preprint arXiv:1410.6690, 2014
22014
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
22014
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
22012
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
12022
CoQuiAAS v2. 0: Taking Benefit from Constraint Programming to Solve Argumentation Problems
J Lagniez, E Lonca, J Mailly
12017
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
The system can't perform the operation now. Try again later.
Articles 1–20