AutoGraphiX: An Automated System for Finding Conjectures in Graph Theory

Pierre Hansen, Gilles Caporossi. AutoGraphiX: An Automated System for Finding Conjectures in Graph Theory. Electronic Notes in Discrete Mathematics, 5:158-161, 2000. [doi]

Abstract

Abstract is missing.