Refutation of Spectral Graph Theory Conjectures with Search Algorithms)

Milo Roucairol, Tristan Cazenave

We are interested in the automatic refutation of spectral graph theory conjectures. Most existing works address this problem either with the exhaustive generation of graphs with a…