The Spectra of Knödel Graphs. IJCAI 30 (3).