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]
@inproceedings{HamidC10-0,
title = {Formally certified stable marriages},
author = {Nadeem Abdul Hamid and Caleb Castleberry},
year = {2010},
doi = {10.1145/1900008.1900056},
url = {http://doi.acm.org/10.1145/1900008.1900056},
researchr = {https://researchr.org/publication/HamidC10-0},
cites = {0},
citedby = {0},
pages = {34},
booktitle = {Proceedings of the 48th Annual Southeast Regional Conference, 2010, Oxford, MS, USA, April 15-17, 2010},
editor = {H. Conrad Cunningham and Paul Ruth and Nicholas A. Kraft},
publisher = {ACM},
isbn = {978-1-4503-0064-3},
}