George Wahl Logemann (31 January 1938,

Milwaukee Milwaukee is the List of cities in Wisconsin, most populous city in the U.S. state of Wisconsin. Located on the western shore of Lake Michigan, it is the List of United States cities by population, 31st-most populous city in the United States ...

, – 5 June 2012,

Hartford Hartford is the List of capitals in the United States, capital city of the U.S. state of Connecticut. The city, located in Hartford County, Connecticut, Hartford County, had a population of 121,054 as of the 2020 United States census, 2020 ce ...

)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 s ...

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) asks whether there exists an Interpretation (logic), interpretation that Satisf ...

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