Global Benchmark Database

Iser, Markus; Jabs, Christoph

doi:10.4230/artifacts.22456

Artifact

Global Benchmark Database Software

Authors Markus Iser , Christoph Jabs

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22456
URN: urn:nbn:de:0030-drops-224564

Author Details

Markus Iser

Karlsruhe Institute of Technology, Germany

Christoph Jabs

HIIT, University of Helsinki, Finland

Content

Software (GBD Source Code): https://github.com/Udopia/gbd
archived version

Version/Status

Content created at: 2018-07-18

Cite As Get BibTex

Markus Iser, Christoph Jabs. Global Benchmark Database (Software, GBD Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22456

Description

GBD provides the framework and data management tools for hard algorithmic problem domains, including propositional satisfiability (SAT) and optimization (MaxSAT), and pseudo-Boolean optimization (PBO). GBD addresses the following use cases - Benchmark instance identification - Identification of equivalence classes of benchmark instances - Distribution of benchmark instances and benchmark metadata - Initializing and maintaining instance feature databases - Benchmark instance transformation algorithms

Subject Classification

Keywords

Management of Benchmark Instance Metadata

Programming Languages

Python

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail