Offline
day
week
A SAT Attack on Tarski's High School Algebra Problem
5 points
|
arxiv.org
|
matt_d
|
4day