The \emph{Optimist}: Towards Fully Automated Graph Theory Research

Open in new window