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
DiedJune 5, 2012(2012-06-05) (aged 74)
NationalityUS American
Alma materNew York University
Known forDPLL algorithm
PartnerBernice C. Schaefer
Scientific career
FieldsComputer science
ThesisExistence and Uniqueness of Rarefaction Waves[1] (1965)
Doctoral advisorsPeter David Lax, Robert Davis Richtmyer

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.