The MaxSAT problem in the real-valued MV-algebra
scientific article; zbMATH DE number 7850755