An improved branching algorithm for \((n,3)\)-MaxSAT based on refined observations
scientific article; zbMATH DE number 6852638