| C2E:一个高性能的EPCCL编译器 |
| |
| 引用本文： | 刘大有,赖永,林海.C2E:一个高性能的EPCCL编译器[J].计算机学报,2013,36(6). |
| |
| 作者姓名： | 刘大有 赖永 林海 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院 长春130012;吉林大学符号计算与知识工程教育部重点实验室 长春130012
2. 沈阳师范大学软件学院 沈阳 110034 |
| |
| 基金项目： | 国家自然科学基金，欧盟基金项目TH/Asia Link/010 |
| |
| 摘 要： | 提出一个新的基于DPLL的编译算法KCDP,从而成功地将EPCCL理论和SAT求解联系起来,使得目前很多应用在基于DPLL的SAT求解器中先进的技术都能被引入到EPCCL理论的编译中以提高编译效率;提出规约规则,并基于该规则,提出能在多项式时间内终止的REDUCE算法对EPCCL理论进行规约;结合KCDP和REDUCE算法,实现了编译器C2E,并在随机问题和国际通用的测试用例上测试了C2E的编译效率和编译质量,实验结果表明,无论从编译效率还是编译质量来说,C2E都是一个高性能的EPCCL编译器.
|
| 关 键 词： | 知识编译 EPCCL理论 DPLL程序 规约规则 |
C2E: An EPCCL Compiler with Good Performance |
| |
| LIU Da-You
,
LAI Yong
,
LIN Hai.C2E: An EPCCL Compiler with Good Performance[J].Chinese Journal of Computers,2013,36(6). |
| |
| Authors: | LIU Da-You LAI Yong LIN Hai |
| |
| Abstract: | |
| |
| Keywords: | knowledge compilation EPCCL theory DPLL procedure reduction rule |
| 本文献已被 万方数据 等数据库收录！ |
|
