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

• SAT
• SMT
• Cloud Computing
• Serverless Computing

Stand

27.05.2025 02:44

Im Katalog seit

07.03.2026

Beschreibung vom Verlag

Verlagstext laden