点击在这里注册FAIA更新。查看新闻稿在这里. 可满足性手册 第二版 编辑 A.Biere。, 蹄,M。, Van Maaren,H。, T·沃尔什。 体积 336 属于 人工智能和应用的前沿 出版日期 2021年4月 #共页1484(分2部分) 封面精装本 ISBN打印978-1-64368-160-3 ISBN在线978-1-64368-161-0 学科 计算机科学, 人工智能 本书包含主题索引 €200.00 250.00美元 £180.00 不含增值税 查看内容 订单簿打印书本电子书 向图书管理员推荐这个标题 描述 几个世纪以来,命题逻辑一直被认为是哲学和数学推理的基石之一。随着时间的推移,随着它形式化为布尔代数,人们认识到,广泛的组合问题可以表示为命题可满足性(SAT)问题。由于这种双重作用,SAT发展成为一门成熟的、多方面的科学学科,从计算的最初几天起,就开始了一项研究,以发现如何以自动化的方式解决SAT问题。 这本书可满足性手册是2009年首次以相同名称出版的该书的第二次更新和修订版。该手册旨在全面了解SAT的广度和深度,并将自动化求解方面的重大进展和进步汇集在一起。主题涵盖SAT及其应用的实践和理论研究,包括搜索算法、启发式、算法分析、硬实例、随机公式、问题编码、工业应用、求解器、简化器、工具、案例研究和实证结果。SAT是从广义上进行解释的,因此,除了命题可满足性之外,还有一些章节涵盖了量化布尔公式(QBF)的领域、单词级问题的约束编程技术(CSP)及其命题编码,以及可满足性模理论(SMT)。每一章都有详尽的参考书目。 这本手册的第二版将引起研究人员、研究生、大四本科生以及使用或参与SAT的从业者的兴趣,并将为他们的工作提供灵感和丰富的资源。 埃德蒙·克拉克,2007年ACM图灵奖获得者:“SAT求解是21世纪计算机科学的关键技术。” 1974年ACM图灵奖获得者唐纳德·科努特(Donald Knuth):“SAT显然是一款杀手级应用程序,因为它是解决许多其他问题的关键。” 1982年ACM图灵奖获得者斯蒂芬·库克:“SAT问题是计算机科学中最基本的问题的核心:是什么使问题变得困难?” 摘要/索引于 相关出版物 书 现代技术为海事监测提供了创新方法,并加强了海事关键基础设施的恢复能力 出版日期 2024年10月 编辑 P.达蓬特。, M.科萨克。, A.本达玛。 学科 安全与恐怖主义, 计算机科学, 计算机安全 体积 65 属于 北约和平与安全科学系列-D:信息与通信安全 更多详细信息 书 智能软件方法、工具和技术的新趋势 第23届智能软件方法、工具和技术新趋势国际会议论文集(SoMeT_24) 出版日期 2024年9月 编辑 H.藤田。, Perez-Meana,H。, 埃尔南德斯·马塔莫罗斯,A。 学科 计算机科学, 人工智能 体积 389 属于 人工智能和应用的前沿 更多详细信息 书 语言模型时代的知识图与神经符号人工智能 第20届国际语义系统大会论文集,2024年9月17日至19日,荷兰阿姆斯特丹 出版日期 2024年9月 编辑 萨拉蒂诺,A。, 阿拉姆·M·。, Ongenae,F.、。, 瓦哈达蒂,S。, 詹蒂莱,A.-L。, 佩莱格里尼,T。, 江,S。 学科 语义Web, 计算机科学 体积 60 属于 语义网研究 更多详细信息
书 现代技术为海事监测提供了创新方法,并加强了海事关键基础设施的恢复能力 出版日期 2024年10月 编辑 P.达蓬特。, M.科萨克。, A.本达玛。 学科 安全与恐怖主义, 计算机科学, 计算机安全 体积 65 属于 北约和平与安全科学系列-D:信息与通信安全 更多详细信息
书 智能软件方法、工具和技术的新趋势 第23届智能软件方法、工具和技术新趋势国际会议论文集(SoMeT_24) 出版日期 2024年9月 编辑 H.藤田。, Perez-Meana,H。, 埃尔南德斯·马塔莫罗斯,A。 学科 计算机科学, 人工智能 体积 389 属于 人工智能和应用的前沿 更多详细信息
书 语言模型时代的知识图与神经符号人工智能 第20届国际语义系统大会论文集,2024年9月17日至19日,荷兰阿姆斯特丹 出版日期 2024年9月 编辑 萨拉蒂诺,A。, 阿拉姆·M·。, Ongenae,F.、。, 瓦哈达蒂,S。, 詹蒂莱,A.-L。, 佩莱格里尼,T。, 江,S。 学科 语义Web, 计算机科学 体积 60 属于 语义网研究 更多详细信息