Core-boosted linear search for incomplete MaxSAT
scientific article; zbMATH DE number 7116684