Benchmark Collection for A Time Leap Challenge for SAT-Solving
收藏Zenodo2020-08-25 更新2026-05-25 收录
下载链接：
https://zenodo.org/record/3989071
下载链接
链接失效反馈官方服务：
资源简介：
Benchmarks used for the paper Johannes K. Fichte, Markus Hecher, Stefan Szeider: A Time Leap Challenge for SAT-Solving, Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming (CP'2020). For details, we refer to the original sources of the benchmarks (https://www.cs.uni-potsdam.de/wv/sets/ and https://www.cs.uni-potsdam.de/wv/projects/sets/set-industrial-09-12.tar.xz), which was authored by Holger H. Hoos, B. Kaufmann, T. Schaub, and M. Schneider in the publication Robust Benchmark Set Selection for Boolean Constraint Solvers, LION 7, DOI: 10.1007/978-3-642-44973-4_16, 2013.
提供机构：
Zenodo创建时间：
2020-08-25
