A arxiv.org A SAT Attack on Tarski's High School Algebra Problem 98 points matt_d 2 months ago 39 comments
