Keller's Conjecture Resolved by Translating It into Satisfiability Problemcs.cmu.edu3 pointstosh6 years ago