Formalizing Randomized Matching Algorithms

2011 IEEE 26th Annual Symposium on Logic in Computer Science ◽

10.1109/lics.2011.12 ◽

2011 ◽

Author(s):

Dai Tri Man Lê ◽

Stephen A. Cook

Download Full-text