Toposat2_Logs
收藏数据链接：
官方服务：
资源简介：
Log files for TopoSAT2 and HordeSAT for the Paper "Tuning Parallel SAT Solvers". For TopoSAT2, some non-relevant parts of the log files were removed. The full version can be found at http://doi.org/10.5281/zenodo.1251288
提供机构：
Zenodo创建时间：
2018-05-23
