您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. HW:DPLL_SAT求解器-源码

  2. 硬件 DPLL_SAT求解器 基于DPLL算法的SAT问题解法程序 建设中 2021/3/10修改了部分DPLL算法的核心内容,并加入了计时功能 2021/3/11加入真值表的打印功能,拟增加冲突子句的记录功能,即学习函数拟加强MOM策略,改进变元的选择策略 2021/3/12拟增加数独部分
  3. 所属分类:其它

    • 发布日期:2021-03-16
    • 文件大小:7168
    • 提供者:weixin_42106299