| George Wahl Logemann | |
| Birth Date: | 31 January 1938 |
| Birth Place: | Milwaukee |
| Death Place: | Hartford |
| Nationality: | US American |
| Fields: | Computer science |
| Alma Mater: | New York University |
| Thesis Title: | Existence and Uniqueness of Rarefaction Waves |
| Thesis1 Url: | and |
| Thesis2 Url: | )--> |
| Thesis Year: | 1965 |
| Doctoral Advisors: | Peter David Lax, Robert Davis Richtmyer |
| Known For: | DPLL algorithm |
| Spouses: | )--> |
| Partner: | Bernice C. Schaefer |
George Wahl Logemann (31 January 1938, Milwaukee, – 5 June 2012, Hartford)[1] was an American mathematician and computer scientist. He became well known for the Davis–Putnam–Logemann–Loveland algorithm to solve Boolean satisfiability problems.[2] He also contributed to the field of computer music.[1] [3]