An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses
scientific article; zbMATH DE number 7433400