George Wahl Logemann (Milwaukee, – Hartford, )Obituary at www.legacy.com foi um matemático e cientista da computação estadunidense. Conhecido pelo algoritmo DPLL para resolver problemas de satisfatibilidade booliana. Também contribuiu para o campo da música computacional.
Categoria:Matemáticos dos Estados Unidos Categoria:Cientistas da computação dos Estados Unidos