.png){kind=icon}
返回
Simple algorithm portfolio for SAT
.png){kind=icon}
OA
AI
DOI：10.1007/s10462-011-9290-2.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The importance of algorithm portfolio techniques for SAT has long been noted, and a number of very successful systems have been devised, including the most successful one-SATzilla. However, all these systems are quite complex (to understand, reimplement, or modify). In this paper we present an algorithm portfolio for SAT that is extremely simple, but in the same time so efficient that it outperforms SATzilla. For a new SAT instance to be solved, our portfolio finds its k-nearest neighbors from the training set and invokes a solver that performs the best for those instances. The main distinguishing feature of our algorithm portfolio is the locality of the selection procedure-the selection of a SAT solver is based only on few instances similar to the input one. An open source tool that implements our approach is publicly available.
Keyword:
Algorithm portfolios
SAT solving
Nearest neighbors
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏
查看更多内容