Experimental Data for the Paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers"
收藏DataCite Commons2024-07-10 更新2024-07-13 收录
下载链接：
https://radar.kit.edu/radar/en/dataset/tcUTIdNTXGMkrNyK
下载链接
链接失效反馈官方服务：
资源简介：
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 the conference [*SAT 2022*](http://satisfiability.org/SAT22/).
You can find the paper [here](https://www.doi.org/10.4230/LIPIcs.SAT.2022.2) and the code [here](https://github.com/Jakob-Bach/Small-Portfolios).
See the `README` for details.
提供机构：
Karlsruhe Institute of Technology
创建时间：
2023-06-21
