登录
|
注册
|
QQ账号登录
|
常见问题
联系我们:
我要上传
首页
浏览
幼儿/小学教育
中学教育
高等教育
研究生考试
外语学习
资格/认证考试
论文
IT计算机
经济/贸易/财会
管理/人力资源
建筑/环境
汽车/机械/制造
研究报告
办公文档
生活休闲
金融/股票/期货
法律/法学
通信/电子
医学/心理学
行业资料
文学/艺术/军事/历史
我的淘豆
我要上传
帮助中心
复制
下载此文档
一个基于变量消除和子句包含的预处理器的任务书.docx
文档分类:
高等教育
|
页数:约1页
举报非法文档有奖
分享到:
1
/
1
下载此文档
搜索
下载此文档
关闭预览
下载提示
1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档,不会出现我们的网址水印。
同意并开始全文预览
(约 1-6 秒)
下载文档到电脑,查找使用更方便
下 载
还剩?页未读,
继续阅读
分享到:
1
/
1
下载此文档
文档列表
文档介绍
一个基于变量消除和子句包含的预处理器的任务书.docx
该【一个基于变量消除和子句包含的预处理器的任务书 】是由【niuww】上传分享,文档一共【1】页,该文档可以免费在线阅读,需要了解更多关于【一个基于变量消除和子句包含的预处理器的任务书 】的内容,可以使用淘豆网的站内搜索功能,选择自己适合的文档,以下文字是截取该文章内的部分文字,如需要获得完整电子版,请下载此文档到您的设备,方便您编辑和打印。一个基于变量消除和子句包含的预处理器的任务书F公式(ConjunctiveNormalForm,合取范式)进行变量消除和子句包含等等处理,以便后续求解器能够更高效地解决其满足性问题。具体来说,预处理器应该完成以下任务::基于Davis-Putnam算法,F公式中的无用变量。该算法的核心思想是将公式中所有包含某个变量的子句合并为一个大的子句,再将该变量从公式中删除。如果这些子句构成了一个无矛盾的子公式,则原始公式也是可满足的。:对CNF公式中的所有子句,用更小的子句代替其中已有的子句。这可以通过合并一组包含与子句的其他子句来实现。具体来说,将一个包含其他子句的子句转换成等价的子句,使得它达到与其他子句相同的效果,但使用的变量更少。:F公式,但使用的变量数量更少、子句更短的变换算法。这个任务可以通过同时应用上述变量消除和子句包含等等处理方法来实现。总之,F公式变换成一个更简单、更高效的公式,以便求解器可以更快地解决其满足性问题。
一个基于变量消除和子句包含的预处理器的任务书 来自淘豆网www.taodocs.com转载请标明出处.
猜你喜欢
卤味居家项目融资方案
36页
大米众筹方案
7页
大数据中心方案
5页
大学生学习方案
5页
多种报价方案
6页
复工复产安全生产大检查方案
7页
加热板的项目融资方案
47页
八年级下学期的班主任工作计划
38页
地产项目运营方案
8页
国际车展方案
7页
管道运输业的管道运输工艺优化
29页
吧台制作方案
7页
石油开采企业绿色运营与低碳发展研究
29页
发明设计方案
7页
厨房方案讲解
6页
相关文档
更多>>
非法内容举报中心
文档信息
页数
:
1
收藏数
:
0
收藏
顶次数
:
0
顶
上传人
:
niuww
文件大小
:
10 KB
时间
:
2024-03-28
相关标签
保证工期的措施
煤气中毒的急救措施
煤气中毒的急救措施
文景之治的措施
大气污染措施
党的领导弱化整改措施
班级管理方法和措施
建筑工地扬尘治理措施
混凝土质量控制措施
质量保障措施
大学课件
理学
工学
哲学
历史学
教育学
农学
思想政治
专业基础教材
生物学
语言学
微积分
统计学
实验设计
科普读物
最近更新
基于UG的冷冲模造型设计研究的开题报告
基于TCAM的高效率路由更新算法的开题报告
2024年工作失职检讨书精选15篇
校园之声广播站开场白及结束语学习资料
细胞工程-第3章:植物组织与细胞培养4
跨渠道售后服务集成
母亲节小学作文
毕业感言六年级
民房房顶维修安全合同协议(3篇)
水浒传阅读心得分享(31篇)
纤维支气管镜的临床应用d
过程智能能源管理
2024年届新生军训大会开幕词
演讲的作文500字(32篇)
湖南省长沙2024年中考模拟生物试卷含答案
推销与谈判论文范文通用13篇
工作录取通知书模板
全民终身学习活动周讲话稿
丰城市资源循环利用产业基地招商优惠政策
六项纪律生活会个人发言提纲
党支部增补委员的选票
法律事务专业(专科)
CA6140车床法兰盘工艺规程及夹具设计答辩PP..
隧道工程风险评估因素识别表
在线
客服
微信
客服
QQ
客服
意见
反馈
手机
查看
返回
顶部