George Logemann
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.
George Wahl Logemann | |
|---|---|
| Born | January 31, 1938 |
| Died | June 5, 2012 (aged 74) |
| 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 (1965) |
| Doctoral advisors | Peter David Lax, Robert Davis Richtmyer |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.