Bingo! Who remembers Symbolics and their lisp machine? Moore's law, not theoretical advancement, is the real story.
One of the techniques we learned in the course, was by the account of the Prof, working extremely well, and well documented, its just that nobody really understood why it worked and people were trying to prove why it got optimal solutions.