Computer-assisted graph theory: a survey
This survey paper explores how computers and algorithms are transforming graph theory research. It covers methods for generating graphs, analyzing their properties using databases and invariants, and applying techniques like linear programming, SAT solvers, and machine learning. The authors also present some smaller, new results obtained using computer-assisted methods.