Nationality US American Partner Bernice C. Schaefer | ||
Born January 31, 1938Milwaukee ( 1938-01-31 ) Thesis Existence and Uniqueness of Rarefaction Waves (1965) Doctoral advisors Peter David Lax, Robert Davis Richtmyer Died 5 June 2012, Hartford, Connecticut, United States Residence West Hartford, Connecticut, United States Academic advisors Peter Lax, Robert D. Richtmyer |
George Wahl Logemann (31 January 1938, Milwaukee, – 5 June 2012, Hartford) was an American mathematician and computer scientist. He became well known for the Davis–Putnam–Logemann–Loveland algorithm to solve Boolean satisfiability problems. He also contributed to the field of computer music.
References
George Logemann Wikipedia(Text) CC BY-SA