Anne Parrain

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