Refutation of Spectral Graph Theory Conjectures with Search Algorithms)