Careful ranking of multiple solvers with timeouts and ties
Careful Ranking of Multiple Solvers with Timeouts and Ties
scientific article; zbMATH DE number 5908755