Formally certified stable marriages. - Nadeem Abdul Hamid; Caleb Castleberry (ACM Southeast Regional Conference, 2010)