Global benchmark database

DOI10.4230/LIPICS.SAT.2024.18MaRDI QIDQ6864423zbMATH OpenFDO

Authors Markus Iser, Christoph Jabs

Publication date 3 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

maintenance and distribution of benchmark instances and their features

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)

Cites work

• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• A comprehensive study of \(k\)-portfolios of recent SAT solvers
• ASlib: a benchmark library for algorithm selection
• Effective auxiliary variables via structured reencoding
• MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library
• SAT competition 2020
• SATLIB: An online resource for research on SAT
• SATzilla: portfolio-based algorithm selection for SAT

Cited in

(1)

• Active learning for SAT solver benchmarking. Extended and revised version

This page was built for publication: Global benchmark database

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6864423)