论文研究-基于演绎长度的学习子句删除策略.pdf
学习子句删除策略是CDCL-SAT求解器中的一个重要内容，可以避免内存爆炸和加速单元传播。评估学习子句有用性的标准不同导致所删除的学习子句是不同的，极大地影响求解效率。基于CDCL算法的求解过程可被形式化为增加管理学习子句策略的归结演绎过程，基于此，提出一种基于演绎长度的学习子句评估方法，并与现有的基于文字块距离的评估方法结合，根据排序子句的基准不同，形成两种不同的结合算法。采用国际SAT竞赛的基准实例，与目前主流的求解器进行了实验对比分析。结果表明，所提的结合算法能更好地评估学习子句的有用性，较基于文字块距离策略的求解个数提高了4.1%，说明所提策略具有一定的优势。
文件下载
评论信息
其他资源
- C++实现员工工资管理系统
- 代码的艺术(百度BFE团队_章淼)
- tensorflow-1.14.0-cp36-cp36m-win_amd64.whl
- matlab 实现fastica源代码
- CRforVS_13_0_22.exe ；Crystal；
- opencv_python-4.1.2+contrib-cp38-cp38-win_amd64.whl
- FAO推荐ET0计算器ET0calculator操作手册
- midi文件解析
- 超大文件编辑器PilotEdit
- Python-Keras实现实时语义分割的深层神经网络架构ENET
- Android框架揭秘.pdf
- 专业软件开发绘图工具（数据流图，流程图）
- michaelanell.github.io：用于CIT的Michaela Nell存储库：230-源码
- Python脚本项目源码-简单的端口扫描工具
- duilib调用mfc MFC Tree的列子..
- 角外-源码
- In-vitro Electrochemical Stability Evaluation of a Flexible MEMS Microelectrode of a Flexible MEMS Microelectrode
- 北京市-公交线路、地铁线路和站点shp矢量数据2020年最新.zip
- sqlite3源码.rar
- 神舟王STM32F407IGT用户手册
- NC600串口调试工具
- VC2010结合ArcGIS Engine 10开发
- DM9000+LWIP
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明