A SAT Attack on Tarski’s High School Algebra Problem
arxiv.orgAbstract:Tarski’s high school algebra problem asks whether every true identity concerning addition, multiplication, and exponentiation of positive integers follows from a list of 11 elementary identities. Surprisingly, Wilkie showed that the following identity is valid over the positive integers and … Read more