量化单一带标公式的消解

• 作者: 赵希顺 金继伟
• 来源期刊: 中山大学学报（自然科学版）
• 学科: 数学
• 关键词: 量化单一带标公式 消解 可满足性 多项式时间可判定
• 年，卷（期）: 2010,（1）
• 页码范围: 20-23
• 页数: 4页
• 分类号: O142
• 字数: 4457字
• 语种: 中文

摘要

在引入量化单一带标公式的概念后,给出其消解算法,并证明该消解算法是健全的和拒绝性完备的.因此该算法可用于对量化单一带标公式进行理论上的研究,同时也可用于在实际应用中解决这类公式的可满足性问题.最后,根据消解算法,得出一个可以在多项式时间内判定可满足性的量化单一带标公式的子类.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金继伟	中山大学逻辑与认知研究所	2	0	0.0	0.0
2	赵希顺	中山大学逻辑与认知研究所	16	17	3.0	4.0