约束求解技术综述
约束求解的应用领域越来越广泛,在恶意代码检测、程序分析技术、人工智能等方面发挥着越来越重要的作用,研究更加高效的约束求解技术,更快更精确的解决约束问题,成为一个重要的课题.根据约束求解技术所属领域对其进行了归类,将其分为数学求解方法、搜索求解技术和约束推理技术,阐述了常用的各种求解技术的基本思想、特点以及优缺点,最后对约束求解技术的主要发展方向进行了展望.
计算机信息安全 数学求解技术 搜索求解技术 约束推理技术
秦艳锋 王清贤 曾勇军 奚琪
解放军信息工程大学信息工程学院,河南郑州,450002
国内会议
河南信阳
中文
262-268
2011-08-20（万方平台首次上网日期，不代表论文的发表时间）