Anne Parrain

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 2

Top Topics

Constraint Satisfaction

Branching Factor

Top Venues

Publications

Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel
Compressing UNSAT CDCL Trees with Caching. ICAART (3) (2024)
Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel
Compressing UNSAT Search Trees with Caching. ICAART (3) (2023)
Daniel Le Berre, Anne Parrain
The Sat4j library, release 2.2. J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)
Daniel Le Berre, Anne Parrain
On SAT Technologies for Dependency Management and Beyond. SPLC (2) (2008)
Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes
Source-to-source Prolog Program Compression. IJCSLP (1998)
Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz
Smallest Horn Clause Programs. J. Log. Program. 27 (3) (1996)
Anne Parrain
Méta-interprétation et transformations de programmes logiques. JFPLC (1994)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. LOPSTR (1992)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. WSA (1992)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs. JTASPEFT/WSA (1991)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Prolog Program Transformations and Meta-Interpreters. LOPSTR (1991)