An improved SAT formulation for the social golfer problem
scientific article; zbMATH DE number 6107423