Alkemet News
A SAT Attack on Tarski's High School Algebra Problem (arxiv.org)

69 points

bymatt_d

5 days ago |

26 comments