Never Trust Your Solver: Certification for SAT and QBF

Martina Seidl

doi:10.1007/978-3-031-42753-4_2

Never Trust Your Solver: Certification for SAT and QBF

Martina Seidl

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings
Herausgeber*innen	Catherine Dubois, Manfred Kerber
Verlag	Springer
Seiten	16-33
Seitenumfang	18
Band	14101
ISBN (Print)	9783031427527
DOIs	https://doi.org/10.1007/978-3-031-42753-4_2
Publikationsstatus	Veröffentlicht - 2023

Publikationsreihe

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band	14101 LNAI
ISSN (Print)	0302-9743
ISSN (elektronisch)	1611-3349

Wissenschaftszweige

101013 Mathematische Logik
102 Informatik
102001 Artificial Intelligence
102011 Formale Sprachen
102022 Softwareentwicklung
102030 Semantische Technologien
102031 Theoretische Informatik
603109 Logik

JKU-Schwerpunkte

Digital Transformation

Zugriff auf Dokument

10.1007/978-3-031-42753-4_2

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Seidl, M. (2023). Never Trust Your Solver: Certification for SAT and QBF. in C. Dubois, & M. Kerber (Hrsg.), Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings (Band 14101, S. 16-33). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14101 LNAI). Springer. https://doi.org/10.1007/978-3-031-42753-4_2

Seidl, Martina. / Never Trust Your Solver: Certification for SAT and QBF. Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Hrsg. / Catherine Dubois ; Manfred Kerber. Band 14101 Springer, 2023. S. 16-33 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{eb348a0f593741a49d7a53039cd9abd9,

title = "Never Trust Your Solver: Certification for SAT and QBF",

author = "Martina Seidl",

year = "2023",

doi = "10.1007/978-3-031-42753-4\_2",

language = "English",

isbn = "9783031427527",

volume = "14101",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "16--33",

editor = "Catherine Dubois and Manfred Kerber",

booktitle = "Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings",

}

Seidl, M 2023, Never Trust Your Solver: Certification for SAT and QBF. in C Dubois & M Kerber (Hrsg.), Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Bd. 14101, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 14101 LNAI, Springer, S. 16-33. https://doi.org/10.1007/978-3-031-42753-4_2

Never Trust Your Solver: Certification for SAT and QBF. / Seidl, Martina.
Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Hrsg. / Catherine Dubois; Manfred Kerber. Band 14101 Springer, 2023. S. 16-33 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14101 LNAI).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Never Trust Your Solver: Certification for SAT and QBF

AU - Seidl, Martina

PY - 2023

Y1 - 2023

UR - https://www.scopus.com/pages/publications/85172151134

U2 - 10.1007/978-3-031-42753-4_2

DO - 10.1007/978-3-031-42753-4_2

M3 - Conference proceedings

SN - 9783031427527

VL - 14101

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 16

EP - 33

BT - Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings

A2 - Dubois, Catherine

A2 - Kerber, Manfred

PB - Springer

ER -

Seidl M. Never Trust Your Solver: Certification for SAT and QBF. in Dubois C, Kerber M, Hrsg., Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Band 14101. Springer. 2023. S. 16-33. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-42753-4_2