Talk:Stable matching polytope