GBD Tools
Iser, Ashlin
1; Jabs, Christoph
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Jabs, Christoph1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
Abstract:
GBD is a comprehensive suite of tools for provisioning and sustainably maintaining benchmark instances and their metadata for empirical research on hard algorithmic problem classes.
GBD provides benchmark instance identifiers, feature extractors, and instance transformers for hard algorithmic problem domains, now including propositional satisfiability (SAT) and optimization (MaxSAT), and pseudo-Boolean optimization (PBO).
GBD provides benchmark instance identifiers, feature extractors, and instance transformers for hard algorithmic problem domains, now including propositional satisfiability (SAT) and optimization (MaxSAT), and pseudo-Boolean optimization (PBO).
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Forschungsdaten |
| Publikationsdatum | 04.12.2025 |
| Identifikator | KITopen-ID: 1000188027 |
| HGF-Programm | 46.21.02 (POF IV, LK 01) Cross-Domain ATMLs and Research Groups |
| Lizenz | MIT License |
| Art der Forschungsdaten | Software |