George Wahl Logemann (31 de enero de 1938, Milwaukee , - 5 de junio de 2012, Hartford ) [2] fue un matemático e informático estadounidense. Se hizo conocido por el algoritmo Davis-Putnam-Logemann-Loveland para resolver problemas de satisfacibilidad booleanos . [3] También contribuyó al campo de la música por computadora. [2] [4]
George Wahl Logemann | |
---|---|
Nació | |
Fallecido | 5 de junio de 2012 | (74 años)
Nacionalidad | Estadounidense |
alma mater | Universidad de Nueva York |
Conocido por | Algoritmo DPLL |
Socios) | Bernice C. Schaefer |
Carrera científica | |
Campos | Ciencias de la Computación |
Tesis | Existencia y singularidad de ondas de rareza [1] (1965) |
Consejeros de doctorado | Peter David Lax , Robert Davis Richtmyer |
Referencias
- ^ George Logemann en el Proyecto de genealogía matemática
- ^ a b Obituario en www.legacy.com
- ^ Davis, Martin ; Logemann, George; Loveland, Donald (1962). "Un programa de máquina para la demostración de teoremas" . Comunicaciones de la ACM . 5 (7): 394–397. doi : 10.1145 / 368273.368557 . hdl : 2027 / mdp.39015095248095 . S2CID 15866917 .
- ^ George W. Logemann (enero de 1967). "Técnicas de síntesis de música electrónica programada" (PDF) . Revisión de música electrónica (1): 44–53.