Benchmark Collection for A Time Leap Challenge for SAT-Solving
收藏Mendeley Data2024-03-27 更新2024-06-27 收录
下载链接：
https://zenodo.org/record/3989072
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-06-28
