GBD Data Repository

Iser, Markus; Jabs, Christoph

doi:10.4230/artifacts.22459

Artifact

GBD Data Repository Dataset

Authors Markus Iser , Christoph Jabs

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

Document Identifiers

DOI: 10.4230/artifacts.22459
URN: urn:nbn:de:0030-drops-224591

Author Details

Markus Iser

Karlsruhe Institute of Technology, Germany

Christoph Jabs

HIIT, University of Helsinki, Finland

Content

Dataset: https://github.com/Udopia/gbd-data
archived version

Version/Status

Content created at: 2024-02-29
Status: Active (at the time of publication 2024-11-28)

Cite As Get BibTex

Markus Iser, Christoph Jabs. GBD Data Repository (Dataset). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22459

Description

The repository contains metadata for SAT, MaxSAT, and PBO instances.

Subject Classification

Keywords

GBD Metadata Repository

Programming Languages

Sqlite

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