Blog

Yihong Zhang

A tutorial on the imaginary Gogi language [PDF version]
A Trick that Makes Classical E-Matching Faster [PDF version]