Global Benchmark Database (GBD)
收藏arXiv2024-05-16 更新2024-06-21 收录
下载链接：
https://benchmark-database.de
下载链接
链接失效反馈官方服务：
资源简介：
全球基准数据库（GBD）是由卡尔斯鲁厄理工学院和赫尔辛基大学联合创建的综合性工具集，旨在可持续地提供和维护基准实例及其元数据。GBD支持多种问题领域，如命题可满足性（SAT）、最大可满足性（MaxSAT）和伪布尔优化（PBO）。数据集通过提供基准实例和特征数据库的分布工具，以及实例转换和特征提取工具，旨在促进数据科学与NP难问题类别的实证研究之间的无缝集成。GBD的应用包括基准净化和选择、领域特定求解器评估以及求解器组合和预测模型的分析。
The Global Benchmark Database (GBD) is a comprehensive toolset jointly created by the Karlsruhe Institute of Technology and the University of Helsinki, whose core objective is to sustainably provide and maintain benchmark instances and their metadata. GBD supports a wide range of problem domains, such as propositional satisfiability (SAT), maximum satisfiability (MaxSAT), and pseudo-Boolean optimization (PBO). This toolset aims to facilitate the seamless integration between data science and empirical research on NP-hard problem classes by providing distribution tools for benchmark instances and feature databases, as well as tools for instance transformation and feature extraction. Applications of GBD include benchmark purification and selection, domain-specific solver evaluation, and the analysis of solver portfolios and predictive models.
提供机构：
卡尔斯鲁厄理工学院, 德国; 赫尔辛基大学, 芬兰
创建时间：
2024-05-16
