Experimental Data for the Paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers"
收藏DataCite Commons2022-05-30 更新2024-07-13 收录
下载链接：
https://publikationen.bibliothek.kit.edu/1000146629
下载链接
链接失效反馈官方服务：
资源简介：
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" accepted at the conference [*SAT 2022*](http://satisfiability.org/SAT22/). See the `README` for details.
提供机构：
Karlsruher Institut für Technologie (KIT)
创建时间：
2022-05-30
