Suivre
Emmanuel Lonca
Emmanuel Lonca
CRIL - UMR Univ. Artois & CNRS
Adresse e-mail validée de cril.fr
Titre
Citée par
Citée par
Année
Coquiaas: A constraint-based quick abstract argumentation solver
JM Lagniez, E Lonca, JG Mailly
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
622015
Detecting cardinality constraints in CNF
A Biere, D Le Berre, E Lonca, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2014
592014
Improving Model Counting by Leveraging Definability.
JM Lagniez, E Lonca, P Marquis
IJCAI, 751-757, 2016
362016
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
352015
Definability for model counting
JM Lagniez, E Lonca, P Marquis
Artificial Intelligence 281, 103229, 2020
172020
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
132020
Design and results of ICCMA 2021
JM Lagniez, E Lonca, JG Mailly, J Rossit
arXiv preprint arXiv:2109.08884, 2021
92021
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
42016
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
On the complexity of optimization problems based on compiled NNF representations
DL Berre, E Lonca, P Marquis
arXiv preprint arXiv:1410.6690, 2014
32014
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
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
22023
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
22022
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
The fourth international competition on computational models of argumentation
JM Lagniez, E Lonca, JG Mailly, J Rossit
12020
CoQuiAAS v2. 0: Taking Benefit from Constraint Programming to Solve Argumentation Problems
J Lagniez, E Lonca, J Mailly
12017
Proceedings of the 2023 XCSP3 Competition
G Audemard, C Lecoutre, E Lonca
2024
Proceedings of the 2023 XCSP3 Competition
G Audemard, C Lecoutre, E Lonca
arXiv preprint arXiv:2312.05877, 2023
2023
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20