该研讨会是一次关于命题可满足性（SAT）求解高级主题的旅程。通过选择SAT解决领域中具有影响力的论文，我们仔细观察了现代SAT解决在过去几年中的演变，并了解了现代高效大规模SAT解决系统的主要基石。

我们希望每位参与者在一到两篇合适的科学论文的基础上提出一个特定的主题。我们希望参与者不仅复制论文的内容，而且对其进行反思、比较和讨论。演示大约需要30分钟，然后进行15分钟的讨论。本次研讨会没有书面作业。

完成“实际SAT解决”课程并不是一项要求，但在准备所选主题时，很可能是一个起点。请在电子邮件中说明您的兴趣致dominik.schreiber和markus.iser，我们将通知您研讨会的开始时间（10月底/11月初），并介绍可用的主题。