An empirical study of branching heuristics through the lens of global learning rate
scientific article; zbMATH DE number 6807222