arxiv.orgA SAT Attack on Tarski's High School Algebra Problemmatt_d · 3 points · 0 comments · anteayer · Open originalUpvoteSaveRead laterTranslate titleDeep read
Comments
0 preview comments · loading full threadLog in to h4cker, then connect Hacker News to publish comments.