A SAT Attack on Tarski's High School Algebra Problem

• Posted 5 days ago by matt_d
• 63 points