186 citations · 243 across the 28 of their papers we have counts for
1 paper · 2 filters
Loukas Georgiadis, Robert E. Tarjan
How does one verify that the output of a complicated program is correct? One can formally prove that the program is correct, but this may be beyond the power of existing methods. A…