( en | de | ru )

 

Disambiguierung von "Parrain, Anne"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compressing UNSAT CDCL Trees with Caching.

, , , und . ICAART (3), Seite 792-799. SCITEPRESS, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fabien Parrain

Dieter Annemaier

Marianne Annen

Karl Heinz Annecke

Helmut Annen

 

Weitere Publikationen von Autoren mit dem selben Namen

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