What can we do with problems of exhaustive search?

G. M. Adelson-Velskiy, A. O. Slisenko. What can we do with problems of exhaustive search?. In Andrei P. Ershov, Donald E. Knuth, editors, Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979. Volume 122 of Lecture Notes in Computer Science, pages 315-342, Springer, 1979.

Abstract

Abstract is missing.