Login / Signup
A Generalization of Teo and Sethuraman's Median Stable Marriage Theorem.
Vijay K. Garg
Published in:
CoRR (2020)
Keyphrases
</>
stable marriage
partial order
related problems
soft constraints
median filter
data structure
efficient computation
von neumann
pac learning model
interactive theorem proving