Publications

International journals

2020 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Definability for model counting in Artificial Intelligence,vol. 281, pp. 103229, 2020.

2015 Sergio Segura, Amador Durán, Ana B. Sánchez, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés, Automated metamorphic testing of variability analysis tools in Journal of : Software Testing, Verification and Reliability,vol. 25, n° 2, pp. 138-163, 2015.

International conferences

2020 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Introducing the Fourth International Competition on Computational Models of Argumentation in Third International Workshop on Systems and Algorithms for Formal Argumentation,2020.

2018 Sébastien Konieczny, Emmanuel Lonca, Artificial Intelligence Conferences Closeness in 27th International Joint Conference on Artificial Intelligence (IJCAI'18),pp. 5158-5164, 2018.

2016 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Improving Model Counting by Leveraging Definability in 25th International Joint Conference on Artificial Intelligence (IJCAI'16),pp. 751-757, 2016.

2016 Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Fixed-Parameter Tractable Optimization under DNNF Constraints in 22nd European Conference on Artificial Intelligence (ECAI'16),pp. 1194-1202, 2016.

2015 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver in 27th International Conference on Tools with Artificial Intelligence (ICTAI'15),IEEE, pp. 928-935, 2015.

2014 Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey, Detecting Cardinality Constraints in CNF in 17th International Conference on Theory and Applications of Satisfiability Testing (SAT'14),Springer, pp. 285-301, 2014.

National conferences

2016 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Exploiter les définitions pour le comptage de modèles in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),2016.

2016 Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Complexité paramétrée de l'optimisation sous contrainte DNNF in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),2016.

2014 Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey, Détection de contraintes de cardinalité dans les CNF in 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14),pp. 253-262, 2014.

2013 Daniel Le Berre, Emmanuel Lonca, Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13),pp. 185-194, 2013.

2012 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Anne Parrain, Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles in Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012,2012.

2012 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Anne Parrain, Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff in RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle),pp. 978-2-9539515-2-3, 2012.

Technical reports

2014 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, On the Complexity of Optimization Problems based on Compiled NNF Representations 2014.