Host: The Japanese Society for Artificial intelligence
Name : 97th SIG-FPAI
Number : 97
Location : [in Japanese]
Date : March 22, 2014 - March 23, 2014
Pages 10-
SATzilla2012, an automated approach for constructing per-instance algorithm portfolios for SAT that utilizes cost-sensitive classification models to choose among their constituent solvers, has achieved an excellent performance in SAT Challenge 2012. In this paper, we present the parallel portfolio SATzilla2012 (PPSz2012), which parallelizes the phases of the sequential portfolio SATzilla2012 (SPSz2012), based on assigning and running corresponding processes to the component solvers that were predicted their performances by decision forest (DF) and received the top two highest votes.
