A SAT Attack on Tarski's High School Algebra Problemarxiv.org
66 points by matt_d 5 days ago | 23 comments