A SAT Attack on Tarski's High School Algebra Problem

This paper is waiting its turn. The original abstract is at the bottom of the page.