Edmund Clarke, 1945–2020 Gödel's Lost Letter and P=NP, 19 Jan 2021 If only model checking could fight the…