George Logemann
George Wahl Logemann | |
---|---|
Born |
Milwaukee | January 31, 1938
Died |
June 5, 2012 74) Hartford | (aged
Residence | West Hartford |
Nationality | US American |
Fields | Computer science |
Alma mater | New York University |
Thesis | Existence and Uniqueness of Rarefaction Waves[1] (1965) |
Doctoral advisors | Peter David Lax, Robert Davis Richtmyer |
Known for | DPLL algorithm |
Partner | Bernice C. Schaefer |
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]
References
- ↑ George Logemann at the Mathematics Genealogy Project
- 1 2 Obituary at www.legacy.com
- ↑ 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.
- ↑ George W. Logemann (Jan 1967). "Techniques for Programmed Electronic Music Synthesis" (PDF). Electronic Music Review (1): 44—53.
External links
- George Wahl Logemann at the PhDTree (with publication list)
This article is issued from Wikipedia - version of the 6/13/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.