A Benchmark Collection Of Hypergraphs
收藏数据链接：
官方服务：
资源简介：
This benchmark currently contains 2191 hypergraph instances that originate from CQs and CSPs instances from various sources. All hypergraphs have been generated and published by W. Fischl, G. Gottlob, D. M. Longo, and R. Pichler (2017) at http://hyperbench.dbai.tuwien.ac.at together with different hypergraph properties including various notions of width. See Johannes K. Fichte, Markus Hecher, Neha Lodha, and Stefan Szeider: An SMT Approach to Fractional Hypertree Width, Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming (CP2018) for details on the original sources of the benchmarks.
提供机构：
Zenodo创建时间：
2018-06-14
