He helped develop an algorithm which improves performance by keeping track of partial matches.
In a paper titled "Dancing Links," this scientist outlined a nondeterministic, recursive, backtracking algorithm for solving exact cover problems, which is known as his namesake "Algorithm X." He invented the WEB tool to carry out literate programming, a concept he also developed. He helped develop an algorithm which improves performance by keeping track of partial matches. This scientist invented the up-arrow notation for writing very large integers, and created a description language for vector glyphs called Metafont. This creator of a string-searching algorithm with Morris and Pratt also developed the TeX [pron: "tek"] typesetting language. For 10 points, identify this Stanford-based computer scientist, the author of the classic textbook The Art of Computer Programming.
In a paper titled "Dancing Links," this scientist outlined a nondeterministic, recursive, backtracking algorithm for solving exact cover problems, which is known as his namesake "Algorithm X." He invented the WEB tool to carry out literate programming, a concept he also developed.
Donald Ervin Knuth