PACE Solver Description: GraPA-JAVA
Bergenthal, Moritz ; Dirks, Jona ; Freese, Thorben ; Gahde, Jakob ; Gerhard, Enna ; Grobler, Mario ; Siebertz, Sebastian 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Link zu diesem Datensatz
https://d-nb.info/1366708474
Titel
PACE Solver Description: GraPA-JAVA
Art des Inhalts
Teil eines Werks
Verfassangaben
Moritz Bergenthal, Jona Dirks, Thorben Freese, Jakob Gahde, Enna Gerhard, Mario Grobler, Sebastian Siebertz
Autor(en)
Bergenthal, Moritz
Dirks, Jona
Freese, Thorben
Gahde, Jakob
Gerhard, Enna
Grobler, Mario
Siebertz, Sebastian
Verlag
Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2022]
Jahr
Erscheinungsdatum: 2022
Umfang/Format
Online-Ressource
DOI
10.4230/LIPIcs.IPEC.2022.30
Online
https://doi.org/10.4230/LIPIcs.IPEC.2022.30
Sprache
eng
Schlagwörter
Stand
09.09.2025 22:43
Im Katalog seit
07.03.2026
Beschreibung vom Verlag
Verlagstext laden