The satisfiability problem was amongst the very first problems proven to be NP-Complete. It arises in many real world domains such as hardware verification, planning, scheduling, configuration and telecommunications. Recently, there has been growing interest in using portfolios of solvers for this problem. In this paper we present a case-based reasoning approach to SAT solving. A key challenge is the adaptation phase, which we focus on in some depth. We present a variety of adaptation approaches, some heuristic, and one that computes an optimal Kemeny ranking over solvers in our portfolio. Our evaluation over three large case bases of problem instances from artificial, hand-crafted and industrial domains, shows the power of a CBR approach, and the importance of the adaptation schemes used. © 2012 Springer-Verlag.
CITATION STYLE
Hurley, B., & O’Sullivan, B. (2012). Adaptation in a CBR-based solver portfolio for the satisfiability problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7466 LNAI, pp. 152–166). https://doi.org/10.1007/978-3-642-32986-9_13
Mendeley helps you to discover research relevant for your work.