计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
6期
1254-1260
,共7页
知识编译%EPCCL理论%DPLL程序%规约规则
知識編譯%EPCCL理論%DPLL程序%規約規則
지식편역%EPCCL이론%DPLL정서%규약규칙
knowledge compilation%EPCCL theory%DPLL procedure%reduction rule
提出一个新的基于DPLL的编译算法KCDP,从而成功地将EPCCL理论和SAT求解联系起来,使得目前很多应用在基于DPLL的SAT求解器中先进的技术都能被引入到EPCCL理论的编译中以提高编译效率;提出规约规则,并基于该规则,提出能在多项式时间内终止的REDUCE算法对EPCCL理论进行规约;结合KCDP和REDUCE算法,实现了编译器C2E,并在随机问题和国际通用的测试用例上测试了C2E的编译效率和编译质量,实验结果表明,无论从编译效率还是编译质量来说,C2E都是一个高性能的EPCCL编译器.
提齣一箇新的基于DPLL的編譯算法KCDP,從而成功地將EPCCL理論和SAT求解聯繫起來,使得目前很多應用在基于DPLL的SAT求解器中先進的技術都能被引入到EPCCL理論的編譯中以提高編譯效率;提齣規約規則,併基于該規則,提齣能在多項式時間內終止的REDUCE算法對EPCCL理論進行規約;結閤KCDP和REDUCE算法,實現瞭編譯器C2E,併在隨機問題和國際通用的測試用例上測試瞭C2E的編譯效率和編譯質量,實驗結果錶明,無論從編譯效率還是編譯質量來說,C2E都是一箇高性能的EPCCL編譯器.
제출일개신적기우DPLL적편역산법KCDP,종이성공지장EPCCL이론화SAT구해련계기래,사득목전흔다응용재기우DPLL적SAT구해기중선진적기술도능피인입도EPCCL이론적편역중이제고편역효솔;제출규약규칙,병기우해규칙,제출능재다항식시간내종지적REDUCE산법대EPCCL이론진행규약;결합KCDP화REDUCE산법,실현료편역기C2E,병재수궤문제화국제통용적측시용례상측시료C2E적편역효솔화편역질량,실험결과표명,무론종편역효솔환시편역질량래설,C2E도시일개고성능적EPCCL편역기.
