Analyzed Benchmarks And Raw Data On Experiments For Gpusat
收藏数据链接：
官方服务：
资源简介：
For details see: Johannes K. Fichte, Markus Hecher, Stefan Woltran, Markus Hecher: Weighted Model Counting on the GPU by Exploiting Small Treewidth, Proceedings of the 26th Annual European Symposium on Algorithms (ESA'2018). For benchmarking we used a benchmark-tool. See https://github.com/daajoe/benchmark-tool for details.
提供机构：
Zenodo创建时间：
2018-06-28
