Download PDF - A linear pseudo-Boolean viewpoint on matching and other central concepts in graph theory