SAT and Interactions (Dagstuhl Seminar 20061)

Authors Olaf Beyersdorff, Uwe Egly, Meena Mahajan, Cláudia Nalon and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 6.54 MB
  • 18 pages

Document Identifiers

Author Details

Olaf Beyersdorff
  • Universität Jena, DE
Uwe Egly
  • TU Wien, AT
Meena Mahajan
  • Institute of Mathematical Sciences - Chennai, IN
Cláudia Nalon
  • University of Brasilia, BR
and all authors of the abstracts in this report

Cite AsGet BibTex

Olaf Beyersdorff, Uwe Egly, Meena Mahajan, and Cláudia Nalon. SAT and Interactions (Dagstuhl Seminar 20061). In Dagstuhl Reports, Volume 10, Issue 2, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


This report documents the program and the outcomes of Dagstuhl Seminar 20061 "SAT and Interactions". The seminar brought together theoreticians and practitioners from the areas of proof complexity and proof theory, SAT and QBF solving, MaxSAT, and modal logics, who discussed recent developments in their fields and embarked on an interdisciplinary exchange of ideas and techniques between these neighbouring subfields of SAT.

Subject Classification

ACM Subject Classification
  • Theory of computation → Proof theory
  • Theory of computation → Modal and temporal logics
  • Theory of computation → Automated reasoning
  • Theory of computation → Description logics
  • Theory of computation → Proof complexity
  • Theory of computation → Complexity theory and logic
  • SAT
  • MaxSAT
  • QBF
  • proof complexity
  • deep inference
  • modal logic
  • solving


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
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