A gain-based lower bound algorithm for real and mixed \(\mu \) problems
scientific article; zbMATH DE number 5770458
scientific article