Login / Signup
The Power of Locality: An Elementary Integrality Proof of Rothblum's Stable Matching Formulation.
Jochen Könemann
Kanstantsin Pashkovich
Justin Toth
Published in:
CoRR (2016)
Keyphrases
</>
mixed integer
matching algorithm
power consumption
image matching
graph matching
matching process
theorem prover
feature points
pattern matching
theorem proving
linear programming relaxation
feature matching
shape matching
image set
multiscale
matching scheme
computer vision