Dataset - LDM

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...
- Imported Dataset

You can also access this registry using the API (see API Docs).

Before browse our site, please accept our cookies policy