TY  - RPRT
TI  - Maximum Matching and Linear Programming in Fixed-Point Logic with Counting
AU  - Matthew Anderson
AU  - Anuj Dawar
AU  - Bjarki Holm
PY  - 2013
UR  - https://arxiv.org/abs/1304.6870
ID  - 1304.6870
ER  -