SAT Solvers: Is SAT Hard or Easy? Gödel's Lost Letter and P=NP, 13 Jul 2009 Are practical SAT problems easy or hard? Ed Clarke, a Turing Award winner, was at the recent NSF workshop on design…