预处理已成为布尔可满足性(SAT)求解工作流的关键组成部分。实际上,预处理位于编码阶段和求解阶段之间,目的是通过对SAT实例应用有效的简化技术来加快SAT解算器随后执行的搜索,从而减少总的求解时间。在本章中,我们概述了文献中提出的关键预处理技术。虽然主要关注的是适用于合取范式(CNF)公式的技术,但我们也选择性地涵盖了预处理结构化和更高级SAT实例表示的主要思想。
我们使用cookie为您提供最佳体验。它们还允许我们分析用户行为,以便不断为您改进网站。关于隐私政策IOS出版社。
我们使用cookie为您提供最佳体验。它们还允许我们分析用户行为,以便为您不断改进网站。关于隐私政策IOS出版社。