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