|国家科技期刊平台
| 注册
首页|期刊导航|四川大学学报（工程科学版）|基于符号模拟和变量划分的SAT算法

基于符号模拟和变量划分的SAT算法

闫炜 吴尽昭 高新岩

四川大学学报（工程科学版）2008，Vol.40Issue(3)：121-125,5.
✕
四川大学学报（工程科学版）2008，Vol.40Issue(3)：121-125,5.

基于符号模拟和变量划分的SAT算法

SAT Algorithm Based on Symbolic Simulation and Variable Partitions

闫炜 1吴尽昭 1高新岩2

作者信息

  • 1. 电子科技大学,计算机科学与工程学院,四川,成都610054
  • 2. 中国科学院,成都计算机应用研究所,四川,成都610041
  • 折叠

摘要

关键词

SAT/符号模拟/合取范式/变量划分

分类

信息技术与安全科学

引用本文复制引用

闫炜,吴尽昭,高新岩..基于符号模拟和变量划分的SAT算法[J].四川大学学报（工程科学版）,2008,40(3):121-125,5.

基金项目

国家自然科学基金资助项目(60373113) （60373113）

国家973计划资助项目(2004CB318000) （2004CB318000）

四川大学学报（工程科学版）

OA北大核心CSCDCSTPCD

2096-3246

访问量0
|
下载量0
段落导航相关论文