可满足(SAT)问题相关论文
可满足性(SAT)问题是数理逻辑、演绎、自动推理、计算理论中的一个最基本的问题,也是一大族NP完全问题的核心.在该文中,作者主要研......
智能规划问题是一个NP—hard的问题。近年来,由于在可满足问题(SAT)研究领域取得了较大进展,出现了一大批快速的能达到工业级应用的SAT......