Question: Did George Logemann and Tim Priest (Police Officer) share the same nationality?
Sentence (from "George Logemann"): He became well known for the Davis – Putnam – Logemann – Loveland algorithm to solve Boolean satisfiability problems.
Relevant evidence: No