17 citations · 41 across the 9 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.CC2011★ 2 cited
Complexity Classes and Theories for the Comparator Circuit Value Problem
Stephen A. Cook, Dai Tri Man Le, Yuli Ye
Subramanian defined the complexity class CC as the set of problems log-space reducible to the comparator circuit value problem. He proved that several other problems are complete f…
cs.LO2011★ 9 cited
Formalizing Randomized Matching Algorithms
Dai Tri Man Le, Stephen A. Cook
Using Jeřábek 's framework for probabilistic reasoning, we formalize the correctness of two fundamental RNC^2 algorithms for bipartite perfect matching within the theory VPV for po…