A bounded approximation for the minimum cost 2-sat problem
scientific article; zbMATH DE number 64812
scientific article