LIPIcs, Volume 305, SAT 2024, Complete Volume

Chakraborty, Supratik; Jiang, Jie-Hong Roland

doi:10.4230/LIPIcs.SAT.2024

Document

LIPIcs, Volume 305, SAT 2024, Complete Volume

Authors Supratik Chakraborty , Jie-Hong Roland Jiang

Part of: Volume: 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
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: 2024-08-19

PDF

File

PDF

LIPIcs.SAT.2024.pdf

Filesize: 19.6 MB
578 pages

Document Identifiers

DOI: 10.4230/LIPIcs.SAT.2024
URN: urn:nbn:de:0030-drops-205211

Subject Classification

ACM Subject Classification

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

Keywords

LIPIcs, Volume 305, SAT 2024, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

LIPIcs, Volume 305, SAT 2024, Complete Volume

Cite As Get BibTex

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

Author Details

Supratik Chakraborty

IIT Bombay, India

Jie-Hong Roland Jiang

National Taiwan University, Taipei, Taiwan

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail