BIRS Workshop Theoretical Foundations of Applied SAT Solving
Sprache des Titels:
We believe that a strong case can be made for the importance of an increased exchange between the two fields of SAT solving and proof complexity. While we are not trying to suggest that there have been water-tight partitions between the two areas before, it seems fair to say that the amount of interaction has been low given how many questions would seem to be of mutual interest. Therefore, we see great potential in more developed contacts between proof complexity theorists on the one hand and SAT practitioners on the other, and we believe a BIRS workshop could serve as a powerful stimulus for developments in this direction.
Below, we try to outline some possible areas for discussion during such a workshop. This list is far from exhaustive, and indeed we believe that the workshop as such would help to uncover other new (and perhaps unexpected) questions of common interest.