Partition-based lower bound for Max-CSP
scientific article; zbMATH DE number 1903975