GitHub repository: Jakob-Bach/Small-Portfolios
Primary language: TeX
Description: Code and text for the paper "An Extensive Study of k-Portfolios of Recent SAT Solvers".