R(3,4)=17

From MaRDI portal
Publication:1010787