Analyzed Benchmarks on Experiments for gpusat2
收藏数据链接：
官方服务：
资源简介：
For details see: Johannes K. Fichte, Markus Hecher, Markus Hecher: An Improved GPU-based SAT Model Counter, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming (CP'2019). For benchmarking we used a benchmark-tool. See https://github.com/daajoe/benchmark-tool for details. See also: https://github.com/daajoe/GPUSAT and https://github.com/daajoe/gpusat_experiments
提供机构：
Zenodo创建时间：
2019-07-28
