Anne Parrain

According to our database, Anne Parrain authored at least 10 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compressing UNSAT CDCL Trees with Caching.

Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Compressing UNSAT Search Trees with Caching.

Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2010

The Sat4j library, release 2.2.

Daniel Le Berre, Anne Parrain

J. Satisf. Boolean Model. Comput., 2010

2008

On SAT Technologies for Dependency Management and Beyond.

Daniel Le Berre, Anne Parrain

Proceedings of the Software Product Lines, 12th International Conference, 2008

1998

Source-to-source Prolog Program Compression.

Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1996

Smallest Horn Clause Programs.

Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz

J. Log. Program., 1996

1994

Méta-interprétation et transformations de programmes logiques.

Anne Parrain

Proceedings of the JFPLC'94, 1994

1992

Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.

Anne Parrain, Philippe Devienne, Patrick Lebègue

Proceedings of the Logic Program Synthesis and Transformation, 1992

1991

Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.

Anne Parrain, Philippe Devienne, Patrick Lebègue

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Prolog Program Transformations and Meta-Interpreters.

Anne Parrain, Philippe Devienne, Patrick Lebègue

Proceedings of the Logic Program Synthesis and Transformation, 1991