阿明·比尔（编辑）；Marijn脚后跟（编辑）；汉斯·范马伦（编辑）；托比·沃尔什（编辑） 满意度手册。分为两部分。第二次更新和修订版。 （英语） Zbl 1456.68001号 人工智能和应用的前沿336.阿姆斯特丹：IOS出版社（ISBN 978-1-64368-160-3/pbk；978-1-643 68-161-0/ebook）。十七、1465页。(2021). 出版商描述：命题逻辑在几个世纪以来一直被公认为哲学和数学推理的基石之一。随着时间的推移，随着它形式化为布尔代数，人们认识到，广泛的组合问题可以表示为命题可满足性（SAT）问题。由于这种双重作用，SAT发展成为一门成熟的、多方面的科学学科，从计算的最初几天起，就开始了一项研究，以发现如何以自动化的方式解决SAT问题。这本书名为《可满足性手册》，是2009年首次出版的同名书的第二版、更新版和修订版。该手册旨在全面了解SAT的广度和深度，并将自动化求解方面的重大进展和进步汇集在一起。主题涵盖SAT及其应用的实践和理论研究，包括搜索算法、启发式、算法分析、硬实例、随机公式、问题编码、工业应用、求解器、简化器、工具、案例研究和实证结果。SAT是从广义上进行解释的，因此，除了命题可满足性之外，还有一些章节涵盖了量化布尔公式（QBF）的领域、单词级问题的约束编程技术（CSP）及其命题编码，以及可满足性模理论（SMT）。每一章都有详尽的参考书目。这本手册的第二版将引起研究人员、研究生、大四本科生以及使用或参与SAT的从业者的兴趣，并将为他们的工作提供灵感和丰富的资源。本卷的文章将单独进行审查。关于第一版，请参阅[Zbl 1183.68568号]. 引用于22文件 MSC公司： 68-00 与计算机科学有关的一般参考书（手册、词典、书目等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 68兰特 可满足性的计算方面 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68T27型 人工智能中的逻辑 00B15号机组 杂项特定利益物品的收集 引文：Zbl 1183.68568号 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}（编辑）等人，《可满足性手册》。分为两部分。第二次更新和修订版。阿姆斯特丹：IOS出版社（2021；Zbl 1456.68001） 全文： 链接