A SAT Attack on Tarski's High School Algebra Problem

2 pointsposted 7 hours ago
by matt_d
(arxiv.org)

No comments yet