Martin Kutz Pascal Schweitzer ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm. 2007 conf/alenex/2007 ALENEX http://www.siam.org/proceedings/alenex/2007/alx07_015kutzm.pdf db/conf/alenex/alenex2007.html#KutzS07