LIPIcs.SAT.2022.pdf
- Filesize: 15.2 MB
- 618 pages
Document
LIPIcs, Volume 236, SAT 2022, Complete Volume
Authors
Kuldeep S. Meel 
,
Ofer Strichman
- Publication date: 2022-07-28
- License:
Creative Commons Attribution 4.0 International license
-
Part of:
Volume:
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Theory and Applications of Satisfiability Testing (SAT)
File
Document Identifiers
Author Details
Cite AsGet BibTex
Kuldeep S. Meel and Ofer Strichman. LIPIcs, Volume 236, SAT 2022, Complete Volume. In 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 236, pp. 1-618, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.SAT.2022
https://doi.org/10.4230/LIPIcs.SAT.2022
Abstract
LIPIcs, Volume 236, SAT 2022, Complete Volume
Subject Classification
ACM Subject Classification
- Theory of computation → Automated reasoning
- Theory of computation → Logic and verification
- Hardware → Hardware validation
Keywords
- LIPIcs, Volume 236, SAT 2022, Complete Volume
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads