George Logemann

{{short description|American mathematician}}

{{more citations needed|date= December 2015}}

{{Infobox scientist

| honorific_prefix =

| name = George Wahl Logemann

| honorific_suffix =

| native_name =

| native_name_lang =

| image =

| image_size =

| alt =

| caption =

| birth_date = {{birth date |1938|01|31}}

| birth_place = Milwaukee

| death_date = {{death date and age |2012|06|05 |1938|01|31}}

| death_place = Hartford

| death_cause =

| resting_place =

| resting_place_coordinates =

| other_names =

| citizenship =

| nationality = US American

| fields = Computer science

| workplaces =

| patrons =

| education =

| alma_mater = New York University

| thesis_title = Existence and Uniqueness of Rarefaction Waves{{mathGenealogy|33668}}

| thesis_url =

| thesis_year = 1965

| doctoral_advisors = Peter David Lax, Robert Davis Richtmyer

| academic_advisors =

| doctoral_students =

| notable_students =

| known_for = DPLL algorithm

| influences =

| influenced =

| awards =

| author_abbrev_bot =

| author_abbrev_zoo =

| spouse =

| partner = Bernice C. Schaefer

| children =

| signature =

| signature_alt =

| website =

| footnotes =

}}

George Wahl Logemann (31 January 1938, Milwaukee, – 5 June 2012, Hartford)[http://www.legacy.com/obituaries/hartfordcourant/obituary.aspx?pid=157970492 Obituary] at www.legacy.com was an American mathematician and computer scientist. He became well known for the Davis–Putnam–Logemann–Loveland algorithm to solve Boolean satisfiability problems.{{cite journal

| last=Davis

| first=Martin

|author1-link=Martin Davis (mathematician)

|author2=Logemann, George

|author3=Loveland, Donald

|author3-link=Donald W. Loveland

| title=A Machine Program for Theorem Proving

| journal =Communications of the ACM

| volume=5

| issue=7

| pages = 394–397

| year=1962

|url=https://archive.org/details/machineprogramfo00davi

| doi=10.1145/368273.368557| hdl=2027/mdp.39015095248095

| s2cid=15866917

| hdl-access=free

}} He also contributed to the field of computer music.{{cite journal | url=https://reaktorplayer.files.wordpress.com/2011/07/emr1-1.pdf | author=George W. Logemann | title=Techniques for Programmed Electronic Music Synthesis | journal=Electronic Music Review | number=1 | pages=44–53 | date=Jan 1967 }}