17 citations · 41 across the 9 of their papers we have counts for
1 paper · 2 filters
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…