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]
@inproceedings{KutzS07,
title = {ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm},
author = {Martin Kutz and Pascal Schweitzer},
year = {2007},
url = {http://www.siam.org/proceedings/alenex/2007/alx07_015kutzm.pdf},
tags = {graph-rewriting, rewriting, Pascal},
researchr = {https://researchr.org/publication/KutzS07},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Workshop on Algorithm Engineering and Experiments, ALENEX 2007, New Orleans, Louisiana, USA, January 6, 2007},
publisher = {SIAM},
}