Theory and Applications of Satisfiability Testing – SAT 2019

22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

  • Mikoláš Janota
  • Inês Lynce
Conference proceedings SAT 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Albert Atserias, Massimo Lauria
    Pages 1-18
  3. Olaf Beyersdorff, Leroy Chew, Judith Clymo, Meena Mahajan
    Pages 19-35
  4. Joshua Blinkhorn, Olaf Beyersdorff
    Pages 36-52
  5. Oleksii Omelchenko, Andrei A. Bulatov
    Pages 53-70
  6. Leroy Chew, Judith Clymo
    Pages 100-116
  7. Akhil A. Dixit, Phokion G. Kolaitis
    Pages 117-135
  8. Katalin Fazekas, Armin Biere, Christoph Scholl
    Pages 136-154
  9. Marijn J. H. Heule, Manuel Kauers, Martina Seidl
    Pages 155-163
  10. Randy Hickey, Fahiem Bacchus
    Pages 164-182
  11. Sima Jamali, David Mitchell
    Pages 183-192
  12. Benjamin Kiesl, Martina Seidl
    Pages 193-202
  13. Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, Joao Marques-Silva
    Pages 211-221
  14. Stefan Mengel, Romain Wallon
    Pages 222-238
  15. Antonio Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joao Marques-Silva, Sam Buss
    Pages 239-249
  16. Sibylle Möhle, Armin Biere
    Pages 250-266
  17. Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joao Marques-Silva
    Pages 267-278
  18. Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark Barrett et al.
    Pages 279-297
  19. Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark Barrett
    Pages 298-305
  20. Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
    Pages 306-318
  21. Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider
    Pages 319-335
  22. Daniel Selsam, Nikolaj Bjørner
    Pages 336-353
  23. Andy Shih, Adnan Darwiche, Arthur Choi
    Pages 354-370
  24. Mate Soos, Raghav Kulkarni, Kuldeep S. Meel
    Pages 371-387
  25. Leander Tentrup, Markus N. Rabe
    Pages 388-405
  26. Nikhil Vyas, Ryan Williams
    Pages 406-423
  27. Back Matter
    Pages 425-425

About these proceedings


This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019.

The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions. The papers address different aspects of SAT interpreted in a broad sense, including (but not restricted to) 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.


artificial intelligence boolean functions competition computer programming constraint theory decision theory formal logic formal verification probability problem solving SAT solvers satisfiability semantics software engineering software evaluation theorem proving verification

Editors and affiliations

  1. 1.University of LisbonLisbonPortugal
  2. 2.University of LisbonLisbonPortugal

Bibliographic information

Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods