可满足性问题的约束求解器应用浅析

• 作者: 付江龙 杨阳 赵天骄 陈素军
• 来源期刊: 河北建筑工程学院学报
• 学科: 工学
• 关键词: 约束求解 YICES HySat
• 年，卷（期）: 2017,（2）
• 页码范围: 132-134
• 页数: 3页
• 分类号: TP3
• 字数: 2567字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-4185.2017.02.032

摘要

约束求解问题涉及广泛,解决约束求解问题的一个重要方法就是SMT理论.本文介绍了两种利用SMT理论设计的约束求解器,分析了其求解原理和主要应用,并对以上两种约束求解器的优缺点进行探讨.约束求解器的研究为解决相对应的约束求解问题提供了思路和方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨阳		13	20	3.0	4.0
2	付江龙		16	13	2.0	3.0
3	陈素军		6	5	1.0	1.0
4	赵天骄		6	4	2.0	2.0