Dai Tri Man Le, Stephen A. Cook
Formalizing Randomized Matching Algorithms
LICS, 2011.
@inproceedings{LICS-2011-LeC, author = "Dai Tri Man Le and Stephen A. Cook", booktitle = "{Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2011.12", isbn = "978-0-7695-4412-0", pages = "185--194", publisher = "{IEEE Computer Society}", title = "{Formalizing Randomized Matching Algorithms}", year = 2011, }