That is a very large search they conducted. Unfortunately this paper is yet to be mirrored to sci-hub. I am quite curious about the graph methods they used, and

That is a very large search they conducted. Unfortunately this paper is yet to be mirrored to sci-hub. I am quite curious about the graph methods they used, and also what the empirical testing entailed (was it automated? did they have to do a lot of synthesis work?)