Satisfiability in many-valued sentential logic is NP-complete
scientific article; zbMATH DE number 4041894