MCSP Papers in Chronological Order A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms, Boris A. Trakhtenbrot, 1984. Link.