REF-ARF: A system for solving problems stated as procedures

Finite Automata and Their Decision Problems

M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations

Computing, Computer Science, Mathematics +9

Mathematical Discovery, On Understanding, Learning, and Teaching Problem Solving.

Herbert S. Zuckerman, George Pólya · American Mathematical Monthly · 1966 · 790 citations

Education, Mathematics, Mathematics Education +17

Nonlinear and Dynamic Programming

Wilfred Candler, G. Hadley · Econometrica · 1966 · 744 citations

Natural Sciences, Mathematics, Operations Research +10

Backtrack Programming

Solomon W. Golomb, L. D. Baumert · Journal of the ACM · 1965 · 485 citations · Full text

Computing, Computer Science, Incident Response +4

Nonlinear and Dynamic Programming

A. Wouk, G. Hadley · Technometrics · 1965 · 331 citations

Natural Sciences, Mathematics, Operations Research +10