( en | de | ru )

 

Disambiguation of "Parrain, Anne"

Author of the publication

copydeleteadd this publication to your clipboard
Compressing UNSAT Search Trees with Caching.

, , , and . ICAART (3), page 358-365. SCITEPRESS, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fabien Parrain

Dieter Annemaier

Marianne Annen

Karl Heinz Annecke

Helmut Annen

 

Other publications of authors with the same name

Prolog Program Transformations and Meta-Interpreters., , and . LOPSTR, page 238-251. Springer, (1991)Méta-interprétation et transformations de programmes logiques.. JFPLC, page 77-92. (1994)Compressing UNSAT Search Trees with Caching., , , and . ICAART (3), page 358-365. SCITEPRESS, (2023)On SAT Technologies for Dependency Management and Beyond., and . SPLC (2), page 197-200. Lero Int. Science Centre, University of Limerick, Ireland, (2008)Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation., , and . LOPSTR, page 228-241. Springer, (1992)Source-to-source Prolog Program Compression., , , and . IJCSLP, page 205-219. MIT Press, (1998)Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs., , and . JTASPEFT/WSA, volume 74 of Series Bigre, page 132-138. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)The Sat4j library, release 2.2., and . J. Satisf. Boolean Model. Comput., 7 (2-3): 59-6 (2010)Compressing UNSAT CDCL Trees with Caching., , , and . ICAART (3), page 792-799. SCITEPRESS, (2024)