A stable matching is an assignment of n men to n women so that no two people prefer each other to their respective spouses. This paper describes the convex hull of the incidence vectors of stable matchings. With this description, one may solve the optimal stable marriage problem as a linear program.
