欢迎光临
满意度测试理论与应用国际会议在澳大利亚墨尔本举行2017年CP和2017年ICLP2017年8月28日至9月1日，即本周紧随其后2017国际JCAI.
国际可满足性测试理论与应用会议（SAT）是面向研究者的首要年度会议，主要关注广义命题可满足性问题的理论与应用。除了简单的命题可满足性之外，会议的范围还包括布尔优化（包括MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足模理论（SMT）和约束编程（CP），以解决与布尔级推理有明确联系的问题。使用基于SAT的技术可以解决许多困难的组合问题，包括形式验证、人工智能、运筹学、计算生物学、密码学、数据挖掘、机器学习、数学等领域出现的问题，过去二十年来，SAT研究在理论和实践方面取得了进步，这使得SAT技术成为各个领域不可或缺的工具。2017年SAT欢迎对广义SAT的不同方面作出贡献，包括（但不限于）理论进步（包括精确算法、证明复杂性和其他复杂性问题）、实用搜索算法、知识汇编、SAT求解器和基于SAT的系统的实现级详细信息，问题编码和重组、应用程序（包括新的应用领域和对现有方法的改进），以及基于严格实验的案例研究和结果报告。
