Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for George Logemann 1 found (7 total)
alternate case: george Logemann
Conflict-driven clause learning
(1,346 words)
[view diff]
exact match in snippet
view article
find links to article
201–215. doi:10.1145/321033.321034. S2CID 31888376. Martin Davis; George Logemann; Donald Loveland (Jul 1962). "A machine program for theorem-proving"