Skip to main content

Satisfiability

C. A. R. Hoare

Month
May 10 Wednesday
Note
Handwritten manuscript‚ with response from Bryan Todd
Year
1995