Sustainable Benchmarking Tool (Tool Paper).

Ashlin Iser, Marie Anastacio, Tho Matricon, Laurent Simon, Holger H. Hoos

Browse the full SAT paper archive.