Optimization of partial search

From MaRDI portal
Publication:3374184