George Logemann

George Wahl Logemann (31 January 1938, Milwaukee, – 5 June 2012, Hartford)^[2] was an American mathematician and computer scientist. He became well known for the Davis–Putnam–Logemann–Loveland algorithm to solve Boolean satisfiability problems.^[3] He also contributed to the field of computer music.^[2][4]

George Wahl Logemann
Born	(1938-01-31)January 31, 1938 Milwaukee
Died	June 5, 2012(2012-06-05) (aged 74) Hartford
Nationality	US American
Alma mater	New York University
Known for	DPLL algorithm
Partner	Bernice C. Schaefer
Scientific career
Fields	Computer science
Thesis	Existence and Uniqueness of Rarefaction Waves[1]  (1965)
Doctoral advisors	Peter David Lax, Robert Davis Richtmyer