Publications

Article(s) de revue(s) internationale(s)

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 Softw. Test., Verif. Reliab.,vol. 25, n° 2, Wiley, pp. 138-163, mars 2015.

Article(s) de conférence(s) internationale(s)

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

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]

2015 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver in 27th IEEE 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 SAT,Springer, pp. 285-301, juillet 2014. [Download]

Article(s) de revue(s) nationale(s)

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]

Article(s) de conférence(s) nationale(s)

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 9iè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èse(s) 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]

Rapport(s) technique(s)

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.