A SAT Attack on Tarski's High School Algebra Problem

(arxiv.org)

2 points | by matt_d 7 hours ago

No comments yet.