2026-07-21T20:02:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13057 2024-03-06T10:27:15Z ddc:004 open_access

SAT and Interactions (Dagstuhl Seminar 20061) Beyersdorff, Olaf Egly, Uwe Mahajan, Meena Nalon, Cláudia SAT MaxSAT QBF proof complexity deep inference modal logic solving 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Olaf Beyersdorff and Uwe Egly and Meena Mahajan and Cláudia Nalon 2020 Is Part Of Dagstuhl Reports, Volume 10, Issue 2 (2020) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.10.2.1 urn:nbn:de:0030-drops-130576 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.10.2.1 eng https://creativecommons.org/licenses/by/3.0/legalcode