Migrating Solver State
Biere, Armin ; Chowdhury, Md Solimul ; Heule, Marijn J. H. ; Kiesl-Reiter, Benjamin ; Whalen, Michael W. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Link zu diesem Datensatz
https://d-nb.info/1366702352
Titel
Migrating Solver State
Art des Inhalts
Teil eines Werks
Verfassangaben
Armin Biere, Md Solimul Chowdhury, Marijn J. H. Heule, Benjamin Kiesl, Michael W. Whalen
Autor(en)
Biere, Armin
Chowdhury, Md Solimul
Heule, Marijn J. H.
Kiesl-Reiter, Benjamin
Whalen, Michael W.
Verlag
Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2022]
Jahr
Erscheinungsdatum: 2022
Umfang/Format
Online-Ressource
DOI
10.4230/LIPIcs.SAT.2022.27
Online
https://doi.org/10.4230/LIPIcs.SAT.2022.27
Sprache
eng
Schlagwörter
Stand
27.05.2025 02:44
Im Katalog seit
07.03.2026
Beschreibung vom Verlag
Verlagstext laden