Emmanuel Lonca

According to our database, Emmanuel Lonca authored at least 16 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Proceedings of the 2023 XCSP3 Competition.

Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca

CoRR, 2023

Reasoning on Feature Models: Compilation-Based vs. Direct Approaches.

Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton

CoRR, 2023

A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

2022

Proceedings of the 2022 XCSP3 Competition.

Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca

CoRR, 2022

Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits.

Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton

CoRR, 2022

2021

Design and Results of ICCMA 2021.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit

CoRR, 2021

2020

Definability for model counting.

Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis

Artif. Intell., 2020

Introducing the Fourth International Competition on Computational Models of Argumentation.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit

Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

2018

Artificial Intelligence Conferences Closeness.

Sébastien Konieczny, Emmanuel Lonca

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2016

Improving Model Counting by Leveraging Definability.

Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Fixed-Parameter Tractable Optimization Under DNNF Constraints.

Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Automated metamorphic testing of variability analysis tools.

Sergio Segura, Amador Durán, Ana Belén Sánchez, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés

Softw. Test. Verification Reliab., 2015

CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne.

Daniel Le Berre, Emmanuel Lonca

Rev. d'Intelligence Artif., 2014

On the Complexity of Optimization Problems based on Compiled NNF Representations.

Daniel Le Berre, Emmanuel Lonca, Pierre Marquis

CoRR, 2014

Detecting Cardinality Constraints in CNF.

Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014