-
RADAR (Research Data Repository)
Imported
Experimental data for the paper "a comprehensive study of k-portfolios of rec...
Abstract: These are the experimental data for the paper Bach, Jakob, Markus Iser, and Klemens Böhm. "A Comprehensive Study of k-Portfolios of Recent SAT Solvers" published at...
