第28届可满足性测试理论与应用国际会议（SAT 2025）

第 28 届可满足性测试理论与应用国际会议 (SAT 2025) 将于 8 月 12 日至 15 日在苏格兰格拉斯哥的格拉斯哥大学举行。SAT 2025 将与第 31 届约束规划原理与实践国际会议 (CP)、第 18 届组合搜索国际研讨会 (SoCS)以及第 23 届可满足性模理论国际研讨会 (SMT)同期举办。

1、组委会

项目主席：
Jakob Nordström（哥本哈根大学和隆德大学）
Jeremias Berg （赫尔辛基大学）
地方组织主席：
Ciaran McCreesh（格拉斯哥大学）
研讨会主席：
Marc Vinyals（奥克兰大学）
Zeynep Kiziltan（博洛尼亚大学）
博士项目主席：
Katalin Fazekas（维也纳技术大学）
Mun See Chang（圣安德鲁斯大学）
程序委员会：
Erika Abraham（亚琛工业大学）
Carlos Ansótegui （莱里达大学）
Olaf Beyersdorff（弗里德里希·席勒耶拿大学）

• 理论进展（包括算法、证明复杂性、参数化复杂性和其他复杂性问题）
• 实用搜索算法
• 知识汇编
• SAT 和 SMT 解决工具以及基于 SAT/SMT 的系统的实现级细节
• 问题编码和表述
• 应用（包括新颖的应用领域和对现有方法的改进）
• 基于严格实验的科学发现案例研究和报告

1、重要时间

摘要提交：3月24日23:59 
论文提交：4月3日23:59  
作者回复：5月8日至5月10日
通知 ：5月29日 23:59 
终稿准备：6月9日 23:59 

2、提交指南

• 长篇论文（9至15页，不包括参考文献和附录）
• 短文（最多 8 页，不包括参考文献和附录）
• 工具论文（最多 8 页，不包括参考文献和附录）

长篇和短篇论文均应包含原创研究，并充分详细地评估贡献的价值和相关性。强烈建议作者在提交报告实验结果的论文时提供数据和实施方法；理论性论文的技术附录或补充材料应包含足够的细节，以便验证主要论点。鼓励提交应用和案例研究。此类论文应充分深入地描述所提出方法的细节，包括其优缺点，但不必一定提出新颖的解决方法。