国际可满足性测试理论与应用会议（SAT）是面向研究者的首要年度会议，主要关注广义命题可满足性问题的理论与应用。除了简单的命题可满足性，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足模理论（SMT）、模型计数和约束编程（CP），用于与布尔级推理有明确联系的问题。
使用基于SAT的技术可以解决许多困难的组合问题，包括形式验证、人工智能、运筹学、计算生物学、密码学、数据挖掘、机器学习、数学等领域出现的问题。事实上，过去二十年来，SAT研究在理论和实践方面取得了进步，这使得SAT技术成为各个领域不可或缺的工具。
SAT 2024旨在通过在这些领域征集与可满足性有明确联系的原创理论和实践贡献，进一步推动该领域的发展。具体而言，SAT 2024邀请科学家对广义SAT的不同方面做出贡献，包括（但不限于）理论进步（如精确算法、证明复杂性和其他复杂性问题）、实用搜索算法、知识汇编、，SAT求解器和基于SAT的系统、问题编码和重新设计、应用程序（包括新的应用领域和对现有方法的改进）的实现级详细信息，以及基于严格实验的案例研究和结果报告。
