Inproceedings,

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

, , and .
LICS, page 173-182. IEEE Computer Society, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews