He is well known for the Davis -- Putnam -- Logemann -- Loveland algorithm .
Donald W. Loveland ( born December 26 , 1934 in Rochester , New York ) is a professor emeritus of computer science at Duke University who specializes in artificial intelligence .
Donald W. Loveland is well known for the professor emeritus             algorithm .
Donald W. Loveland ( born December 26 , 1934 in Rochester , New York ) is a professor emeritus of computer science at Duke University who specializes in artificial intelligence .