Publications

Articles de revues internationales

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 Software Testing, Verification and Reliability (STVR),vol. 25, n° 2, Wiley, pp. 138-163, mars 2015.

Articles de conférences internationales

2018 Sébastien Konieczny, Emmanuel Lonca, Artificial Intelligence Conferences Closeness in 27th International Joint Conference on Artificial Intelligence (IJCAI’18),juillet 2018. (to appear)

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, juillet 2016. [Download]

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, septembre 2016. [Download]

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, novembre 2015. [Download]

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, juillet 2014. [Download]

Articles de revues nationales

2014 Daniel Le Berre, Emmanuel Lonca, Réutiliser ou adapter les prouveurs SAT pour l’optimisation booléenne in Revue d’intelligence artificielle (RIA),vol. 28, n° 5, Lavoisier, pp. 615–636, decembre 2014. [Download]

Articles de conférences nationales

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.

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.

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, juin 2014. [Download]

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

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 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 180-185, mai 2012. [Download]

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 18ième congrès francophone sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA’12),janvier 2012. [Download]

Thèses de doctorat

2015 Emmanuel Lonca, Optimisation booléenne multiobjectif : complexité sous contraintes compilées et résolution via SAT Faculté des Sciences Jean Perrin, Salle des thèses - Lens, juin 2015. [Download]

Rapports techniques

2014 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, On the Complexity of Optimization Problems based on Compiled NNF Representations in CoRR,CoRR, vol. abs/1410.6690, 2014.