Problems of reducing the exhaustive search. - American Mathematical Society, 1997. - ( A.M.S. Translations - series 2 ; 178).