George Wahl Logemann (31 January 1938,

Milwaukee Milwaukee ( ), officially the City of Milwaukee, is both the most populous and most densely populated city in the U.S. state of Wisconsin and the county seat of Milwaukee County. With a population of 577,222 at the 2020 census, Milwaukee is ...

, – 5 June 2012,

Hartford Hartford is the capital city of the U.S. state of Connecticut. It was the seat of Hartford County until Connecticut disbanded county government in 1960. It is the core city in the Greater Hartford metropolitan area. Census estimates since the ...

)Obituary
at www.legacy.com was an American mathematician and computer scientist. He became well known for the

Davis–Putnam–Logemann–Loveland algorithm In logic and computer science, the Davis–Putnam–Logemann–Loveland (DPLL) algorithm is a complete, backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form, i.e. for solvi ...

to solve

Boolean satisfiability problem In logic and computer science, the Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated SATISFIABILITY, SAT or B-SAT) is the problem of determining if there exists an interpretation that satisfie ...

s. He also contributed to the field of computer music.

References

21st-century American mathematicians American computer scientists 1938 births 2012 deaths 20th-century American mathematicians People from Milwaukee Mathematicians from Wisconsin {{mathematician-stub