Harman Patil (Editor)

George Logemann

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Nationality
  
US American

Partner
  
Bernice C. Schaefer

Known for
  
Alma mater
  
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


Similar Topics