George Wahl Logemann (31 January 1938, Milwaukee, â 5 June 2012, Hartford) was an American mathematician and computer scientist. 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.