C2E:一个高性能的EPCCL编译器

• 作者: 刘大有 林海 赖永
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 知识编译 EPCCL理论 DPLL程序 规约规则
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 计算机理论
• 页码范围: 1254-1260
• 页数: 7页
• 分类号: TP181
• 字数: 5938字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.01254

摘要

提出一个新的基于DPLL的编译算法KCDP,从而成功地将EPCCL理论和SAT求解联系起来,使得目前很多应用在基于DPLL的SAT求解器中先进的技术都能被引入到EPCCL理论的编译中以提高编译效率;提出规约规则,并基于该规则,提出能在多项式时间内终止的REDUCE算法对EPCCL理论进行规约;结合KCDP和REDUCE算法,实现了编译器C2E,并在随机问题和国际通用的测试用例上测试了C2E的编译效率和编译质量,实验结果表明,无论从编译效率还是编译质量来说,C2E都是一个高性能的EPCCL编译器.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘大有	吉林大学计算机科学与技术学院	211	4714	34.0	63.0
5	赖永	吉林大学计算机科学与技术学院	3	36	3.0	3.0
9	林海	沈阳师范大学软件学院	3	17	2.0	3.0