基于可变决策水平的分支启发式算法

2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI:10.1109/ISKE.2017.8258776

Zhonghe Du, Zhenming Song

{"title":"基于可变决策水平的分支启发式算法","authors":"Zhonghe Du, Zhenming Song","doi":"10.1109/ISKE.2017.8258776","DOIUrl":null,"url":null,"abstract":"Efficient branching heuristic is a key feature of modern SAT solvers. Firstly, this paper introduced VSIDS heuristic and VSIDS-based heuristics like EVSIDS and ACIDS. Based on VSIDS, a new heuristic termed DLBH that considers variable decision levels was proposed to promote the efficiency of variable selection process. Then, instances showed the comparison among EVSIDS, ACIDS and DLBH. Finally, experimental results indicated that MiniSat solver with DLBH outperforms solvers MiniSat with VSIDS and Glucose.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"357 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A branching heuristic based on variable decision levels\",\"authors\":\"Zhonghe Du, Zhenming Song\",\"doi\":\"10.1109/ISKE.2017.8258776\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Efficient branching heuristic is a key feature of modern SAT solvers. Firstly, this paper introduced VSIDS heuristic and VSIDS-based heuristics like EVSIDS and ACIDS. Based on VSIDS, a new heuristic termed DLBH that considers variable decision levels was proposed to promote the efficiency of variable selection process. Then, instances showed the comparison among EVSIDS, ACIDS and DLBH. Finally, experimental results indicated that MiniSat solver with DLBH outperforms solvers MiniSat with VSIDS and Glucose.\",\"PeriodicalId\":208009,\"journal\":{\"name\":\"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)\",\"volume\":\"357 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISKE.2017.8258776\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISKE.2017.8258776","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

高效分支启发式是现代SAT求解器的一个重要特征。本文首先介绍了VSIDS启发式方法以及基于VSIDS的EVSIDS和ACIDS等启发式方法。为了提高变量选择过程的效率，在VSIDS的基础上，提出了一种考虑变量决策水平的启发式算法DLBH。然后，举例说明了EVSIDS、ACIDS和DLBH之间的比较。最后，实验结果表明，使用DLBH的MiniSat求解器优于使用VSIDS和Glucose的MiniSat求解器。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A branching heuristic based on variable decision levels

Efficient branching heuristic is a key feature of modern SAT solvers. Firstly, this paper introduced VSIDS heuristic and VSIDS-based heuristics like EVSIDS and ACIDS. Based on VSIDS, a new heuristic termed DLBH that considers variable decision levels was proposed to promote the efficiency of variable selection process. Then, instances showed the comparison among EVSIDS, ACIDS and DLBH. Finally, experimental results indicated that MiniSat solver with DLBH outperforms solvers MiniSat with VSIDS and Glucose.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)

自引率

0.00%

发文量