Here is a paper from last month's CGO2017 conference, explaining the techniques more in detail: <a href="http://www.cs.columbia.edu/~cota/pubs/cota_cgo17.pdf" rel="nofollow">http://www.cs.columbia.edu/~cota/pubs/cota_cgo17.pdf</a>