Pierre Hansen, Gilles Caporossi. AutoGraphiX: An Automated System for Finding Conjectures in Graph Theory. Electronic Notes in Discrete Mathematics, 5:158-161, 2000. [doi]
@article{HansenC00,
title = {AutoGraphiX: An Automated System for Finding Conjectures in Graph Theory},
author = {Pierre Hansen and Gilles Caporossi},
year = {2000},
doi = {10.1016/S1571-0653(05)80151-9},
url = {http://dx.doi.org/10.1016/S1571-0653(05)80151-9},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/HansenC00},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Discrete Mathematics},
volume = {5},
pages = {158-161},
}