Anne Parrain

Recherche

Je participe au projet SAT4J sur la résolution de contraintes pseudo-booléennes animé par Daniel Le Berre.

Liste de mes publications :

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

  1. Le Berre Daniel, Parrain Anne, The SAT4J library, Release 2.2, System Description, dans Journal on Satisfiability, Boolean Modeling and Computation (JSAT), vol. 7, pp. 59--64, 2010. [Télécharger]
  2. Devienne Ph., Lebègue P, Parrain Anne, Routier J.-C., Würtz J, Smallest Horn Clause Programs, dans Jounal of Logic Programming, vol. 27, n° 3, Elsevier Science, pp. 227-267, juin 1996.

Communication(s) dans des conférences d'audience internationale sans publication des actes

  1. Le Berre Daniel, Parrain Anne, On SAT Technologies for dependency management and beyond, dans First Workshop on Analyses of Software Product Lines (ASPL'08), septembre 2008. [Télécharger]
  2. Le Berre Daniel, Parrain Anne, On extending SAT solvers for PB problems, dans 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA07), juillet 2007. [Télécharger]
  3. Le Berre Daniel, Parrain Anne, On extending SAT solvers for PB problems, dans Guangzhou Symposium on Satisfiability and its applications (Guangzhou06), septembre 2006. (papier invité) [Télécharger]
  4. Le Berre Daniel, Parrain Anne, Roussel Olivier, The long way from conflict driven clause learning to conflict driven constraint learning, dans Guangzhou Symposium on Satisfiability and its applications (Guangzhou04), septembre 2004. (papier invité) [Télécharger]

Communication(s) dans des manifestations internationales avec publication des actes

  1. Devienne Ph., Parrain Anne, Taillibert P., Varennes S., Source-to-source Prolog program compression, dans Proc. of the 1998 Joint Intl. Conf. and Symp. of Logic Programming (JICSLP-98), The MIT Press, pp. 205-219, juin 1998.
  2. Rabaute J.-F., Devienne Ph., Parrain Anne, Varennes S., Taillibert P., Unfolding and aggregating transformations of real Prolog programs, dans Proc. of the ILPS97 Post-Workshop on Specialization and Declarative Programs and its Applications, 1997.
  3. Parrain Anne, Devienne Ph., Lebègue P, Toward optimization of full Prolog programs guided by abstract interpretation, dans Logic Program Synthesis and Transformation 1992, Springer-Verlag, pp. 228-241, 1992.
  4. Parrain Anne, Devienne Ph., Lebègue P, Prolog program transformations and meta-interpreters, dans Logic Program Synthesis and Transformation 1991, Springer-Verlag, pp. 238-251, 1991.

Communication(s) dans des conférences d'audience nationale

  1. Le Berre Daniel, Lonca Emmanuel, Marquis Pierre, Parrain Anne, Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles, dans 8èmes Journées Francophones de Programmation par Contraintes (JFPC'12), pp. 180 - 185, mai 2012. [Télécharger]
  2. Le Berre Daniel, Lonca Emmanuel, Marquis Pierre, Parrain Anne, Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff, dans 18ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12), janvier 2012. [Télécharger]
  3. Le Berre Daniel, Parrain Anne, À propos de l'extension d'un solveur SAT pour traiter des contraintes pseudo-booléennes, dans 3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), pp. 38-47, juin 2007. [Télécharger]
  4. Parrain Anne, Méta-interprétation et transformations de programmes logiques, dans Journées Francophones de Programmation en Logique 1994, pp. 77-91, 1994.

Thèse de doctorat

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