Makinson一个公开问题的注记

吴茂念; 陈武; 张明义; 沈复兴

首页> 中文期刊> 《计算机科学》 >Makinson一个公开问题的注记

Makinson一个公开问题的注记

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essemial原子,从而加快搜索解的速度.将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题.现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V.

著录项

来源
《计算机科学》 |2009年第6期|217-218222|共3页
作者
吴茂念; 陈武; 张明义; 沈复兴;
展开▼
作者单位

贵州大学理学院;

贵阳;

550025;

西南大学计算机与信息科学学院;

重庆;

400715;

贵州科学院;

贵阳;

550001;

北京师范大学信息科学与技术学院;

北京;

100875;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
非单调推理; essential原子; 等价关系;

相似文献

中文文献
外文文献
专利

1. 关于clean环的一个公开问题的注记 [J] . 姜秀燕 ,何彩香 . 大庆师范学院学报 . 2006,第002期
2. 运筹学教学中关于带有转运地的运输问题的一个注记 [J] . 陈芳芳 ,俞亚娟 ,刘佳 . 高师理科学刊 . 2021,第004期
3. 条件极值问题中约束条件的一个注记 [J] . 张丽 ,张艺玲 ,朱德刚 . 高等数学研究 . 2018,第002期
4. 关于一个约束变分问题的注记 [J] . 郭合林 ,王云波 . 数学物理学报 . 2017,第006期
5. 带不完美界面的双曲问题均匀化的一个注记 [J] . 杨占英 ,于云霞 . 数学杂志 . 2017,第001期
6. 关于Joni—Rota注记的一个注记 [C] . 罗家洪 . 全国组合数学学术会议 . 1985
7. 关于Johnson的一个公开问题和一个Schur补不等式 [A] . 王大鹏 . 2002

Makinson一个公开问题的注记

摘要

著录项

相似文献

相关主题

期刊订阅