Publications

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

2010 Daniel Le Berre, Anne Parrain, The SAT4J library, Release 2.2, System Description in Journal on Satisfiability, Boolean Modeling and Computation (JSAT),vol. 7, pp. 59–64, 2010. [Download]

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, Elsevier Science, pp. 227-267, juin 1996.

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

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 , septembre 2008.

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

2006 Daniel Le Berre, Anne Parrain, On extending SAT solvers for PB problems in Guangzhou Symposium on Satisfiability and its applications (Guangzhou06),septembre 2006. (papier invité)

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),septembre 2004. (papier invité)

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, juin 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, Workshop in Computing, 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, Workshop in Computing, pp. 238-251, 1991.

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

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]

2007 Daniel Le Berre, Anne Parrain, À propos de l’extension d’un solveur SAT pour traiter des contraintes pseudo-booléennes in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 38-47, juin 2007. [Download]

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.

Thèse(s) de doctorat

1994 Anne Parrain, Transformations de programmes logiques et sémantique opérationnelle France, février 1994.