促进科学与研究，特别是可满足性问题（SAT）及相关领域，包括形式验证、SAT的其他应用、证明复杂性、串行与并行SAT求解器、模理论可满足性、量化布尔公式、SAT算法、MAX-SAT、MUS提取和SAT编码。
可满足性问题：应用与理论（SAT协会）致力于促进可满足性问题及相关领域的科学研究，包括形式验证、证明复杂性和SAT算法等。协会总部位于德国帕德博恩，通过全体大会、指导委员会和执行董事会开展工作。
官网：https://example.org/
地址 / 邮箱 / 电话等完整联系方式
暂无出版物数据
暂无会议数据
暂无关系数据
全体大会；指导委员会；执行董事会。
可满足性问题：应用与理论 · 一次付费，永久查看