Ashlin Iser, Marie Anastacio, Théo Matricon, Laurent Simon 0001, Holger H. Hoos. Sustainable Benchmarking Tool (Tool Paper). In Alexey Ignatiev, Stefan Szeider, editors, 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026. Volume 377 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.