Hacker Neus
A SAT Attack on Tarski's High School Algebra Problem
(arxiv.org)
68 points
by matt_d
5 days ago |
24 comments
