A new upper bound for Max-2-SAT: A graph-theoretic approach
scientific article; zbMATH DE number 5839383
scientific article