1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

一种基于GPU的模型计数及其约束的求解方法.pdfVIP

  • 3
  • 0
  • 约1.12万字
  • 约 8页
  • 2023-12-16 发布于四川
  • 举报

一种基于GPU的模型计数及其约束的求解方法.pdf

    本发明涉及一种基于GPU的模型计数及其约束的求解方法，其特征在于，包括以下步骤：利用编译技术将逻辑公式及其约束翻译到中间表示形式；根据GPU信息和逻辑公式，将程序变量划分为三个集合分别用CPU、GPU线程标识符和GPU枚举具体取值；生成GPU源代码程序并编译执行，GPU程序执行结果为逻辑公式及其约束的求解结果。本发明达到了显著的性能提升效果。通过多个实验，本发明达到了显著的性能提升效果，本发明提出的方法比传统基于CPU枚举的和SMT求解器的方法相比，性能提升数百倍。

    (19)中华人民共和国国家知识产权局

    (12)发明专利申请

    (10)申请公布号CN112131583A

    (43)申请公布日2020.12.25

    (21)申请号202010908484.5

    (22)申请日2020.09.02

    (71)申请人上海科技大学

    地址

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >