Anne Parrain
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1991–2024
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICAART | Compressing UNSAT CDCL Trees with Caching. | Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel |
| 2023 | ICAART | Compressing UNSAT Search Trees with Caching. | Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel |
| 2008 | SPLC | On SAT Technologies for Dependency Management and Beyond. | Daniel Le Berre, Anne Parrain |
| 1998 | ICLP | Source-to-source Prolog Program Compression. | Philippe Devienne, Anne Parrain, Patrick Taillibert, S. Varennes |
| 1992 | LOPSTR | Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1992 | SAS | Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1991 | LOPSTR | Prolog Program Transformations and Meta-Interpreters. | Anne Parrain, Philippe Devienne, Patrick Lebgue |
| 1991 | SAS | Techniques de transformations de programmes Prolog gnraux et validation de mta-interprteurs. | Anne Parrain, Philippe Devienne, Patrick Lebgue |