Home / News Archive / News Archive / cmu-scientists-solve-90-year-old-geometry-problem
September 30, 2020

CMU Scientists Solve 90-Year-Old Geometry Problem

Math Puzzle Resolved by Translating It Into Satisfiability Problem

By Byron Spice

Aaron Aupperlee