Analyzed Benchmarks on Experiments for a Complications for Computational Experiments from Modern Processors
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/5542156
下载链接
链接失效反馈官方服务：
资源简介：
For details see:
Johannes K. Fichte, Markus Hecher, Ciaran McCreesh, Anas Shahab: Complications for Computational Experiments from Modern Processors, Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming (CP'2021).
For the benchmark set, we refer to https://www.cs.uni-potsdam.de/wv/projects/sets/set-industrial-09-12.tar.xz or https://www.cs.uni-potsdam.de/wv/projects/sets. The instances are also available on Zenodo at: https://doi.org/10.5281/zenodo.3989071
The tested solver is available at: https://github.com/arminbiere/cadical
创建时间：
2021-10-02
