A Comprehensive Study of k-Portfolios of Recent SAT Solvers.

Jakob Bach, Ashlin Iser, Klemens Bhm

Browse the full SAT paper archive.