原创力文档- 41
- 0
- 约1.43万字
- 约 7页
- 2018-02-25 发布于天津
- 举报
第卷增刊计算机学报年月用吴方法求解可满足性问题算法变换贺思敏张铁清华大学计算机科学与技术系北京清华大学智能技术与系统国家重点实验室北京摘要本文在算法变换的思想指导下研究了用吴方法求解可满足性问题的特点通过建立吴方法的基本操作与子句间有限制的归结操作的对应证明了吴方法求解可满足性问题基本上是一种以特征列计算为核心的有限制的子句归结过程不仅使吴方法和归结法相互引入新的概念和认识而且在算法实现时可以避免复杂的多项式计算同时可以更好地利用问题特性和已有经验以获得更高的效率关扭词算法设计可满足性间题吴方法
第21卷 增刊 计 算 机 学 报 Vol.21Suppl.
1998年8月 CHINESEJ.COMPUTERS Aug 1998
用吴方法求解可满足性问题(I) 算法变换
贺思敏 张 铁
(清华大学计算机科学与技术系 北京100084)
您可能关注的文档
- 长春工业大学-楼宇自动化室.doc
- 张誉凡梁山伯与祝英台-slideboom.ppt
- 摘果子-中国科协青少年科技中心.ppt
- 则由n的一切因子d都可对应产生一个且仅一个d阶子群.ppt
- 枣庄高中英语优秀课时教案征集评选办法-枣庄第八中学.doc
- 运用多项式方程系统算法求解电力场均衡.pdf
- 沅陵一中高68届二年一期入学考试历史试卷.doc
- 预备门电路逻辑功能及测试.doc
- 有限交换环上线性群的carter子群.pdf
- 有限区间上两项二阶向量微分算子的特征函数.pdf
- 2025年镇江市交通运输局所属镇江市港航事业发展中心公开招聘工作人员1人备考试题附答案解析.docx
- 2025民生银行总行资产经营管理部社会招聘笔试备考题库附答案解析.docx
- 2025年黄山市黄山区消防救援大队政府专职消防员招聘7人历年题库附答案解析.docx
- 2025广东阳江市江城区乡村公益性岗位56人笔试参考题库附答案解析.docx
- 2025年黑河五大连池市事业单位公开招聘工作人员14人笔试历年题库附答案解析.docx
- 2025年江西省公安厅招聘警务辅助人员100人笔试备考试题附答案解析.docx
- 2025年金华磐安县人民医院医共体公开招聘编外人员4人笔试试题附答案解析.docx
- 2025重庆奉节县竹园镇委员会选聘村（社区）后备干部、公益岗37人备考试题附答案解析.docx
- 2025年海南卫生健康职业学院公开招聘事业编制人员7人笔试备考试题附答案解析.docx
- 2025年西安雁塔日化医院招聘笔试历年题库（40余人）附答案解析.docx
文档评论（0）