非二元约束满足问题求解

• 作者: 孙吉贵 景沈艳
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 约束满足问题 非二元CSP求解 约束传播 弧相容 正向检查
• 年，卷（期）: 2003,（12）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1746-1752
• 页数: 7页
• 分类号: TP301
• 字数: 7080字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2003.12.020

摘要

在约束满足问题(CSP)的研究中,大部分工作集中在二元约束,但处理实际问题时,常常会遇到非二元约束的情况.该文在概要地讨论了两类求解非二元约束问题方法的基础上,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法,并在设计开发的约束求解工具"明月SOLVER1. 0"中实现了该方法,以典型例子给出了实现系统的运行结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0
10	景沈艳	吉林大学计算机科学与技术学院	2	60	2.0	2.0