Loading AI tools
American mathematician From Wikipedia, the free encyclopedia
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]
This article needs additional citations for verification. (December 2015) |
George Wahl Logemann | |
---|---|
Born | |
Died | June 5, 2012 74) | (aged
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 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.