Publications

Articles de revues internationales

2010 Daniel Le Berre, Anne Parrain, The SAT4J library, Release 2.2, System Description in Journal on Satisfiability, Boolean Modeling and Computation,vol. 7, pp. 59-64, 2010.

1996 Ph. Devienne, P Lebègue, Anne Parrain, J.-C. Routier, J Würtz, Smallest Horn Clause Programs in Jounal of Logic Programming,vol. 27, n° 3, pp. 227-267, 1996.

Articles de conférences internationales

2024 Contraintes Anthony Blomme, Daniel Berre, Anne Parrain, Olivier Roussel, Compressing UNSAT CDCL Trees with Caching in ICAART 2024: 16th International Conference on Agents and Artificial Intelligence,SCITEPRESS - Science and Technology Publications, vol. 3, pp. 792-799, 2024.

2023 IA explicable Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel, Compressing UNSAT Search Trees with Caching in ICAART 2023 : 15th International Conference on Agents and Artificial Intelligence,vol. 3, pp. 358-365, 2023.

2008 Daniel Le Berre, Anne Parrain, On SAT Technologies for dependency management and beyond in First Workshop on Software Product Lines (ASPL'08),pp. 197-200, 2008.

2004 Daniel Le Berre, Anne Parrain, Olivier Roussel, The long way from conflict driven clause learning to conflict driven constraint learning in Guangzhou Symposium on Satisfiability and its applications (Guangzhou04),2004.

1998 Ph. Devienne, Anne Parrain, P. Taillibert, S. Varennes, Source-to-source Prolog program compression in Proc. of the 1998 Joint Intl. Conf. and Symp. of Logic Programming (JICSLP-98),The MIT Press, pp. 205-219, 1998.

1997 J.-F. Rabaute, Ph. Devienne, Anne Parrain, S. Varennes, P. Taillibert, Unfolding and aggregating transformations of real Prolog programs in Proc. of the ILPS97 Post-Workshop on Specialization and Declarative Programs and its Applications,1997.

1992 Anne Parrain, Ph. Devienne, P Lebègue, Toward optimization of full Prolog programs guided by abstract interpretation in Logic Program Synthesis and Transformation 1992,Springer, pp. 228-241, 1992.

1991 Anne Parrain, Ph. Devienne, P Lebègue, Prolog program transformations and meta-interpreters in Logic Program Synthesis and Transformation 1991,Springer, pp. 238-251, 1991.

Articles de conférences nationales

2023 Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel, Compresser des arbres de recherche UNSAT à l’aide d’un système de cache in Journées Francophones de Programmation par Contraintes (JFPC'23),pp. 38-45, 2023.

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.

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.

2007 Daniel Le Berre, Anne Parrain, On extending SAT solvers for PB problems in 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion(RCRA07,2007.

1994 Anne Parrain, Méta-interprétation et transformations de programmes logiques in Journées Francophones de Programmation en Logique 1994,pp. 77-91, 1994.