Biography.guide
Home › People › Computer scientist › George Logemann
Portrait of George Logemann

George Logemann

1938 – 2012

American mathematician and computer scientist

Don't just read it — keep itBiographies to ownE-book · Audio · Video From $7 →

About George Logemann

Lived 1938 – 2012 (aged 74). George Logemann was an American computer scientist and mathematician, known for DPLL algorithm.

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.

Biography shop

Don’t just read it —
keep it.

Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.

  • E-book
  • Audio
  • Video
Browse the shop — from $7

Instant download · yours to keep · every purchase keeps this site free

Important facts

Birth century
Known for
DPLL algorithm
Education
New York University
Also known as
George Wahl Logemann

Contemporaries

People whose lives overlapped George Logemann's

Frequently asked questions

Who was George Logemann?

American mathematician and computer scientist (1938–2012)

When was George Logemann born?

George Logemann was born on 31 January 1938 in Milwaukee.

When did George Logemann die?

George Logemann died on 5 June 2012 in Hartford.

What was George Logemann's occupation?

George Logemann was a computer scientist and mathematician.

What was George Logemann known for?

George Logemann was known for DPLL algorithm.

What nationality was George Logemann?

George Logemann was American.

Sources & further reading

· Wikipedia: George Logemann

· Wikidata: Q21818065

· DBpedia: George Logemann

Cite this page

APA: Biography.guide. (2026). George Logemann. https://biography.guide/george-logemann/

MLA: "George Logemann." Biography.guide, https://biography.guide/george-logemann/.

Chicago: "George Logemann." Biography.guide. https://biography.guide/george-logemann/.

Data last updated: 2026-09-20 · Spot an error? Report a correction.

Page generated 2026-09-27 05:08 UTC