量化布尔公式国际研讨会

国际量化布尔公式研讨会（及以后）

法国波尔多

量化布尔公式（QBF）是命题逻辑的扩展这允许对命题变量进行显式量化。这个QBF的决策问题是PSPACE-完全的，而非NP-完全的命题逻辑的决策问题。

来自应用领域的许多问题，例如模型检查、形式化验证或合成是完整的PSPACE，因此可以在QBF。过去QBF的解决取得了很大进展年。

量化布尔公式国际研讨会（QBF）的目标研讨会）是将从事理论和QBF解决的实际方面。本研讨会的目的是提供一个讨论最新进展和替代方案的互动平台QBF求解方法。除此之外，它还解决了QBF的（潜在）用户，以反映最新技术和巩固当前和长期的研究挑战。

今年，QBF研讨会扩大了范围。除了与QBF相关的主题，感兴趣的主题包括理论以及其他形式的量化实践量化约束满足问题（QCSP），可满足性模理论（SMT）或定理证明。

我们期待着研讨会取得成功波尔多再见！