SAT协会

	2024年SAT会议，2024年8月21日至24日，印度浦那


目的
	该协会的宗旨是促进科学研究特别是关于可满足性问题和相关领域例如SAT、证明的形式验证和其他应用复杂性、串行和并行SAT解算器、可满足性模理论、量化布尔公式、SAT算法、MAX-SAT、MUS提取和SAT编码。这是通过监督一系列年会的组织和地点这个理论与应用国际会议可满足性测试，促进设计和分析应显著提高可满足性的算法影响一个或多个实际应用程序，在线发布的版本可满足性、布尔建模和计算（称为JSAT），并代表SAT社区其他科学论坛。