Background
Logemann, George Wahl was born on January 31, 1938 in Milwaukee.
mathematician computer scientist
Logemann, George Wahl was born on January 31, 1938 in Milwaukee.
Bachelor of Science in Mathematics, California Institute of Technology, 1959. Master of Science in Mathematics, New York University, 1961. Doctor of Philosophy in Mathematics, New York University, 1965.
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.
Member Society for Electro-Acoustical Music in the United States, International Computer Music Association, Association for Computing Machinery.