产品提交
文章投稿
登录/注册
显示直达
DPLL算法
DPLL算法
公式
子句
字词
算法
DPLL算法
DPLL算法在逻辑学和计算机科学中,(DPLL)算法是一种完整的、基于回溯的搜索算法,用于决定共轭正常形式下命题逻辑公式的可满足性,即用于解决CNF-SAT问题。...
添加小工具
点此为“分类归档侧边栏”添加小工具
DPLL算法