QUANTIFY主页
QUANTIFY 2014–第一届量化国际研讨会
新闻
会谈
受邀会谈
- 康斯坦丁柯罗文：基于实例的推理、EPR编码等
- 法希姆·巴克斯：求解QBF的算法范式
- 乌韦·埃格利：量化布尔公式计算中的量词处理
- 格格利·科瓦什奈、安德烈亚斯·弗罗里奇和阿明·比尔：位向量问题的EPR编码（即使使用量词）
- 克里斯托夫·温特斯泰格：有效求解量化位向量
- 尼古拉·比约纳：量化器投影
参与的会谈
- 迈克尔·卡什莫尔、玛丽亚·福克斯和恩里科·金奇利亚：量化编码可达性
- 哈维尔·阿尔维斯、蒙特塞拉特·赫莫和帕基·卢西奥：等式约束求解中的投影量词消除
- 安德鲁·雷诺兹、塞萨尔·蒂内利和莱昂纳多·德莫拉：在SMT中查找量化公式的冲突实例
- 胡比·陈：超越Q分辨率和Prenex形式：量化约束满足的证明系统
概述
量词在许多逻辑的语言扩展中起着重要作用。量词的使用
通常允许更简洁的编码，因为它可能不需要量词。然而，
量词的引入总体上影响了扩展形式主义的复杂性。在
因此，为无量词形式主义建立的理论结果可能不会直接
转移到量化案例中。此外，推理中成功实现的技术
用于无量词公式的工具不能直接提升到量化版本。
量化研讨会（QUANTIFY 2014）的目标是将研究人员聚集在一起
从理论和实践的角度研究量化的影响
视图。量化是不同研究领域的一个主题，例如，在SAT中，就QBF而言，在CSP中
在QCSP、SMT等方面，本研讨会旨在提供跨学科的
各领域研究人员交流经验的论坛。
特别是，研讨会应考虑以下主题：
- 量化的理论方面
- 量化的实际方面
- 致力于量化的不同研究团体之间的交叉点
文件征集
http://vsl2014.at/pages/QUANTIFY-cfp.html
组织