Publications

International journals

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.

International conferences

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.

National conferences

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.

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.

2007 Daniel Le Berre, Anne Parrain, À propos de l’extension d’un solveur SAT pour traiter des contraintes pseudo-booléennes in Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07),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.