Maximum Matching and Linear Programming in Fixed-Point Logic with Counting.

Matthew Anderson, Anuj Dawar, Bjarki Holm

Browse the full LICS paper archive.