A SAT Attack on Tarski's High School Algebra Problem (via fanf) — discussion

#math