## Matthew Anderson, Anuj Dawar, Bjarki Holm

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

LICS, 2013.

@inproceedings{LICS-2013-AndersonDH, acmid = "2591402", author = "Matthew Anderson and Anuj Dawar and Bjarki Holm", booktitle = "{Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2013.23", isbn = "978-1-4799-0413-6", pages = "173--182", publisher = "{IEEE Computer Society}", title = "{Maximum Matching and Linear Programming in Fixed-Point Logic with Counting}", year = 2013, }