George Logemann
From Infogalactic: the planetary knowledge core
| George Wahl Logemann | |
|---|---|
| Born | January 31, 1938 Milwaukee |
| Died | Script error: The function "death_date_and_age" does not exist. Hartford |
| 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
- ↑ 2.0 2.1 Obituary at www.legacy.com
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
External links
- George Wahl Logemann at the PhDTree (with publication list)
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
