George Logemann

George Wahl Logemann (Milwaukee, 31 de janeiro de 1938Hartford, 5 de junho de 2012)[1] foi um matemático e cientista da computação estadunidense. Conhecido pelo algoritmo DPLL para resolver problemas de satisfatibilidade booliana.[2] Também contribuiu para o campo da música computacional.[1][3]

George Logemann
Nascimento 31 de janeiro de 1938
Milwaukee
Morte 5 de junho de 2012
Hartford
Residência West Hartford
Cidadania Estados Unidos
Alma mater
Ocupação cientista de computação, matemático
Orientador(es) Peter Lax e Robert Richtmyer

Referências

  1. a b Obituary at www.legacy.com
  2. Davis, Martin; Logemann, George; Loveland, Donald (1962). «A Machine Program for Theorem Proving». Communications of the ACM. 5 (7): 394–397. doi:10.1145/368273.368557 
  3. George W. Logemann (Jan 1967). «Techniques for Programmed Electronic Music Synthesis» (PDF). Electronic Music Review (1): 44—53