Martin Kutz, Pascal Schweitzer. ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm. In Proceedings of the Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007. SIAM, 2007. [doi]
Abstract is missing.