您的位置： 专家智库 > >

国家自然科学基金(0904067107002)

作品数：1 被引量：5H指数：1
相关作者：李婧刘万伟更多>>
相关机构：并行与分布处理国防科技重点实验室更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

机构

  • 1篇并行与分布处...

作者

  • 1篇刘万伟
  • 1篇李婧

传媒

  • 1篇计算机工程与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
SMT求解器理论组合技术研究被引量：5
2011年
可满足模理论(SMT)求解器是计算机科学中用来判定一阶逻辑公式可满足性的程序,是许多形式化方法的验证引擎。理论求解器实现了SMT基于不同理论背景的求解过程,然而实际问题常以多个理论为背景。因此,本文重点介绍理论组合判定方法,概述SMT求解器的发展现状,并分析了几个主流SMT求解器理论组合判定关键技术。通过对照实验,评估各组合判定方法的优缺点以及目前流行的支持理论组合SMT求解器在工业应用中的性能。
李婧刘万伟
全选 清除 导出
共1页<1>
聚类工具0