Lenstra, H. W.; Jr. Integer programming with a fixed number of variables. Mathematics of Operations Research. 1983, 8 (4): 538–548. doi:10.1287/moor.8.4.538.
Luks, Eugene M. Isomorphism of graphs of bounded valence can be tested in polynomial time. Journal of Computer and System Sciences. 1982, 25 (1): 42–65. doi:10.1016/0022-0000(82)90009-5.
Goemans, Michel X.; Williamson, David P. Improved approximation algorithms for the maximum cut and satisfiability probelsm using semi-definite programming. Journal of the ACM. 1995, 42 (6): 1115–1145. doi:10.1145/227683.227684.