Covering symmetric supermodular functions with graph edges: a short proof of a theorem of Benczúr and Frank
scientific article; zbMATH DE number 6776063