TY  - RPRT
TI  - Decision versions of optimization problems: cardinality constraint (lower bound) as a CNF Horn formula for Maximum Matching
AU  - Prabhu Manyem
PY  - 2014
UR  - https://arxiv.org/abs/1407.1403
ID  - 1407.1403
ER  -