Theory and Applications of Satisfiability Testing – SAT 2020

23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

  • Luca Pulina
  • Martina Seidl
Conference proceedings SAT 2020

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12178)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12178)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Leroy Chew, Marijn J. H. Heule
    Pages 1-10
  3. Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
    Pages 11-27
  4. Nick Feng, Fahiem Bacchus
    Pages 28-45
  5. Randy Hickey, Fahiem Bacchus
    Pages 46-61
  6. Sibylle Möhle, Roberto Sebastiani, Armin Biere
    Pages 62-71
  7. Arijit Shaw, Kuldeep S. Meel
    Pages 72-88
  8. Jan-Hendrik Lorenz, Florian Wörz
    Pages 89-106
  9. Maximilian Heisinger, Mathias Fleury, Armin Biere
    Pages 114-122
  10. Hidetomo Nabeshima, Katsumi Inoue
    Pages 123-138
  11. Nathan Mull, Shuo Pang, Alexander Razborov
    Pages 149-165
  12. Maria Luisa Bonet, Jordi Levy
    Pages 166-181
  13. Marc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström
    Pages 182-200
  14. Emre Yolcu, Xinyu Wu, Marijn J. H. Heule
    Pages 201-217
  15. Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
    Pages 233-249
  16. Durgesh Agrawal, Bhavishya, Kuldeep S. Meel
    Pages 250-266
  17. Jeremias Berg, Fahiem Bacchus, Alex Poole
    Pages 277-294
  18. Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
    Pages 295-311
  19. Daniel Le Berre, Pierre Marquis, Romain Wallon
    Pages 322-331
  20. Carlos Mencía, Joao Marques-Silva
    Pages 332-342
  21. Markus Hecher, Patrick Thier, Stefan Woltran
    Pages 343-360
  22. Thomas Seed, Andy King, Neil Evans
    Pages 361-377
  23. Olaf Beyersdorff, Joshua Blinkhorn, Tomáš Peitl
    Pages 394-411
  24. Ankit Shukla, Friedrich Slivovsky, Stefan Szeider
    Pages 412-428
  25. Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger
    Pages 429-446
  26. Valentin Mayer-Eichberger, Abdallah Saffidine
    Pages 447-463
  27. Matthew Anderson, Zongliang Ji, Anthony Yang Xu
    Pages 464-480
  28. Milan Češka, Jiří Matyáš, Vojtech Mrazek, Tomáš Vojnar
    Pages 481-491
  29. Rüdiger Ehlers, Kai Treutler, Volker Wesling
    Pages 492-500
  30. Mikoláš Janota, António Morgado
    Pages 501-518
  31. Back Matter
    Pages 537-538

About these proceedings


This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. 

The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.



architecture verification and validation boolean functions computer networks computer programming decision theory embedded systems formal logic iterative solvers matrix algebra model checking network protocols probability SAT solvers satisfiability software architecture software design software engineering

Editors and affiliations

  1. 1.University of SassariSassariItaly
  2. 2.Johannes Kepler University of LinzLinzAustria

Bibliographic information