Proceedings:
Proceedings of the International Symposium on Combinatorial Search, 7
Volume
Issue:
Vol. 7 No. 1 (2014): Seventh Annual Symposium on Combinatorial Search
Track:
Full Papers
Downloads:
Abstract:
The success and power of algorithm selection techniques has been empirically demonstrated on numerous occasions, most noticeably in the competition settings like those for SAT, CSP, MaxSAT, QBF, etc. Yet while there is now a plethora of competing approaches, all of them are dependent on the quality of a set of structural features they use to distinguish amongst the instances. Over the years, each domain has defined and refined its own set of features, yet at their core they are mostly a collection of everything that was considered useful in the past. As an alternative to this shotgun generation of features, this paper instead proposes a more systematic approach. Specifically, the paper shows how latent features gathered from matrix decomposition are enough for a linear model to achieve a level of performance comparable to a perfect Oracle portfolio. This information can, in turn, help guide researchers to the kinds of structural features they should be looking for, or even just identifying when such features are missing.
DOI:
10.1609/socs.v5i1.18324
SOCS
Vol. 7 No. 1 (2014): Seventh Annual Symposium on Combinatorial Search