LIPIcs, Volume 341, SAT 2025, Complete Volume

Berg, Jeremias; Nordström, Jakob

doi:10.4230/LIPIcs.SAT.2025

Document

LIPIcs, Volume 341, SAT 2025, Complete Volume

Authors Jeremias Berg , Jakob Nordström

Part of: Volume: 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Theory and Applications of Satisfiability Testing (SAT)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2025-08-07

PDF

File

PDF

LIPIcs.SAT.2025.pdf

Filesize: 20.89 MB
566 pages

Document Identifiers

DOI: 10.4230/LIPIcs.SAT.2025
URN: urn:nbn:de:0030-drops-242300

Subject Classification

ACM Subject Classification

Theory of computation → Automated reasoning
Theory of computation → Logic and verification
Hardware → Hardware validation

Keywords

LIPIcs, Volume 341, SAT 2025, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

LIPIcs, Volume 341, SAT 2025, Complete Volume

Cite As Get BibTex

28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 341, pp. 1-566, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.SAT.2025

Author Details

Jeremias Berg

University of Helsinki, Finland

Jakob Nordström

University of Copenhagen, Denmark
Lund University, Sweden

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail