George Logemann
| George Wahl Logemann | |
|---|---|
| Born |
January 31, 1938 Milwaukee |
| Died | June 5, 2012 (aged 74) Hartford |
| Residence | West Hartford |
| Nationality | US American |
| Fields | Computer science |
| Alma mater | New York University |
| Thesis | Existence and Uniqueness of Rarefaction Waves (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) 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.
...
Wikipedia