State space relaxation for set covering problems related to bus driver scheduling
scientific article; zbMATH DE number 562572