Formally certified stable marriages

Nadeem Abdul Hamid, Caleb Castleberry. Formally certified stable marriages. In H. Conrad Cunningham, Paul Ruth, Nicholas A. Kraft, editors, Proceedings of the 48th Annual Southeast Regional Conference, 2010, Oxford, MS, USA, April 15-17, 2010. pages 34, ACM, 2010. [doi]

Abstract

Abstract is missing.