首页> 中文期刊> 《计算机科学》 >求合取范式可满足性问题全部解的一个算法

求合取范式可满足性问题全部解的一个算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

设p1,p2,…,pn是一些命题符,--pi是pi的否定.考虑由pi,--pi(i=1,2,…,n)构成的文字符集合Q,其中的若干个文字符q1,q2,…,q1通过"或者关系"V构成一个子句:……

著录项

来源
《计算机科学》 |2002年第z1期|152-154|共3页
作者
曾振柄;
展开▼
作者单位

中国科学院成都计算机应用研究所自动推理实验室;

成都;

610041;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词

相似文献

中文文献
外文文献
专利

1. 求解可满足性问题全部解的改进多种群克隆免疫算法 [J] . 张英杰 ,范朝冬 . 信息与控制 . 2011,第1期
2. 可满足性问题全部解的求解算法 [J] . 毕忠勤 ,陈光喜 ,单美静 . 计算机工程与应用 . 2009,第003期
3. 求多峰函数全部全局最优解的改进遗传算法 [J] . 张爱华 ,曹晓刚 ,钟守楠 . 数学杂志 . 2009,第001期
4. 求整体优化全部解的区间排除遗传算法 [J] . 鞠训光 ,于洪珍 . 东南大学学报：自然科学版 . 2006,第0S1期
5. 求非光滑全局优化问题全部解的遗传算法 [J] . 潘祝山 ,杨士俊 . 淮海工学院学报 . 1999,第002期
6. 求合取范式可满足性问题全部解的一个算法 [C] . 曾振柄 . 2002年全国理论计算机科学学术年会 . 2002
7. 基于不确定系统的状态可达关系求规划解的算法研究 [A] . 黄丽芳 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号