Tower-of-sets analysis for the Kise-Ibaraki-Mine algorithm

From MaRDI portal
Publication:2377225