SAT and Interactions (Dagstuhl Seminar 24421)

Download PDF
Open Webpage

Olaf Beyersdorff, Laura Kovács, Meena Mahajan, Martina Seidl, Kaspar Kasche

Published: 2024, Last Modified: 13 May 2025Dagstuhl Reports 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: This report documents the program and the outcomes of Dagstuhl Seminar "SAT and Interactions" (24421). The seminar brought together theoreticians and practitioners from the areas of proof complexity, SAT and QBF solving, and first-order theorem proving, who discussed recent developments in their fields and embarked on an interdisciplinary exchange of ideas and techniques between these neighbouring subfields of SAT.