WPM3: an (in)complete algorithm for weighted partial MaxSAT
scientific article; zbMATH DE number 6807697
scientific article