sitting-solver:坐式求解器渴望将来成为一名优秀的SAT求解器-源码

所需积分/C币:19 2021-03-27 15:25:14 18KB ZIP
6
收藏 收藏
举报

坐式求解器 坐式求解器渴望将来成为一名优秀的SAT求解器。 有关SAT求解器的资源: 的具有基本DPLL算法的简洁递归公式 这一对DPLL,子句学习和两个受监视的文字方案背后的思想进行了很好的解释,但是请注意,没有冲突分析的情况下,子句学习的实现不是很好。 这张也相当不错。 它具有简单的代码示例,并有详尽的解释。 我发现它对冲突分析和回跳的解释特别有用。 也有帮助 去做: 主DPLL环路 观看文字 前处理 后处理(进行中) 冲突分析和冲突驱动子句学习 冲突条款最小化 更新启发式:VSIDS 回跳 子句学习的限制,+启发式的要保留哪些已学习的子句 重新启动? 在不久的将来,我希望将其扩展到一个简单的DPLL(T)SMT求解器。 这将涉及: Tseitin转换 一种特殊的预处理模式,仅产生同等的问题,而不产生同等的问题 可能也是一种特殊的后处理模式 扩展了主DP

...展开详情
立即下载 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
sitting-solver:坐式求解器渴望将来成为一名优秀的SAT求解器-源码 19积分/C币 立即下载
1/0