Parallel Portfolio SATzilla2012

抄録

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.