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?. 315-342 1979 conf/ershov/1979 Algorithms in Modern Mathematics and Computer Science db/conf/ershov/ershov1979.html#Adelson-VelskiiS79 http://dx.doi.org/10.1007/3-540-11157-3_33