Conference

SAT

International Conference on Theory and Applications of Satisfiability Testing

SAT in dblp Conference Website

Volumes

Volume

LIPIcs, Volume 271

26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)

SAT 2023, July 4-8, 2023, Alghero, Italy

Editors: Meena Mahajan and Friedrich Slivovsky

Volume

LIPIcs, Volume 236

25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)

SAT 2022, August 2-5, 2022, Haifa, Israel

Editors: Kuldeep S. Meel and Ofer Strichman

Access Numbers



Authors

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact