可满足性问题的异或约束提取方法研究

• 作者: 姚尧
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 可满足性问题 合取范式 异或约束
• 年，卷（期）: 2010,（12）
• 页码范围: 9737-9738
• 页数: 2页
• 分类号: TP301

摘要

该文提出了一种在可满足性问题预处理过程中的异或约束提取新方法。相比较之前运算复杂的提取思路,该方法运用简单的加法及奇偶性就可以准确快速地实现异或约束的提取,为解决含有异或关系可满足性问题的求解带来了优化改进。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚尧	东华大学信息科学与技术学院	2	0	0.0	0.0