Efficient Compilation Approach on Stratified Weighted Bases
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    To be in accordance with the thinking habits of human and improve the efficiency of reasoning, thisstudy argues to stratify weighted bases. The study shows that the existing compilation approach to non-stratifiedweighted bases can also be applied to COMPILE stratified weighted bases; however, its time and space costs arerelatively high because of redundant information in the compilation results. The paper proposes a novel compilationapproach, which can remove the redundant information in the process of compilation, and presents two optimizationtechniques to further improve the time efficiency. As with the existing approach, re-compiling a stratified weightedbase is not required whenever the weights associated with soft constraints change with time. The approach is testedby compiling random instances into ROBDD-normal bases, and the preliminary experimental results show that thetime and space costs of this approach are lower than the existing approach for most instances.

    Reference
    Related
    Cited by
Get Citation

赖永,刘大有.一种有效的分层加权库编译方法.软件学报,2012,23(10):2550-2563

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 30,2011
  • Revised:January 17,2012
  • Adopted:
  • Online: September 30,2012
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063