Integer Linear Programs and Local Search for Max-Cut
scientific article; zbMATH DE number 811663