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

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings
Editors	Catherine Dubois, Manfred Kerber
Publisher	Springer
Pages	16-33
Number of pages	18
Volume	14101
ISBN (Print)	9783031427527
DOIs	https://doi.org/10.1007/978-3-031-42753-4_2
Publication status	Published - 2023

Publication series

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

Fields of science

101013 Mathematical logic
102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102030 Semantic technologies
102031 Theoretical computer science
603109 Logic

JKU Focus areas

Digital Transformation

Access to Document

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

Cite this

Seidl, M. (2023). Never Trust Your Solver: Certification for SAT and QBF. In C. Dubois, & M. Kerber (Eds.), Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings (Vol. 14101, pp. 16-33). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 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. editor / Catherine Dubois ; Manfred Kerber. Vol. 14101 Springer, 2023. pp. 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 (eds), Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. vol. 14101, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14101 LNAI, Springer, pp. 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. ed. / Catherine Dubois; Manfred Kerber. Vol. 14101 Springer, 2023. p. 16-33 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14101 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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, editors, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Vol. 14101. Springer. 2023. p. 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

Never Trust Your Solver: Certification for SAT and QBF

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this