国际量化布尔公式研讨会
与
第16届国际可满足性测试理论与应用大会
新闻
重要日期
-
论文提交:08.05.2013
-
中标通知书:2013年5月22日
-
相机准备就绪:2013年6月15日
-
研讨会:2013年6月9日09:00-12:30
-
研讨会报告
2013年SAT研讨会
芬兰赫尔辛基
概述
量化布尔公式(QBF)是命题逻辑的扩展它允许对命题变量进行显式量化。这个QBF的决策问题是PSPACE-完全的,而非NP-完全的命题逻辑的决策问题。
来自应用领域的许多问题,例如模型检查、形式化验证或合成是完整的PSPACE,因此可以在QBF。过去在QBF解决方面取得了很大进展年。然而,与SAT相比,QBF并没有广泛应用于实际工业环境中的问题。例如QBFs的(不)可满足性模型和已证明是具有挑战性的。
量化布尔公式国际研讨会(QBF)的目标研讨会)是将从事理论和QBF解决的实际方面。本次研讨会的目的是提供讨论最新进展和替代方案的交互式平台求解QSAT的方法。除此之外,它还解决了QBF的(潜在)用户,以反映最新技术和巩固当前和长期的研究挑战。
重要信息
我们期待着研讨会取得成功赫尔辛基再见!
联系人
qbf2013@easychair.org