Zverovich, V. (2004, May). Graph-theoretic problems and the computer system GraphLab. Presented at Reading One-Day Combinatorics Colloquium