198 stories from 143 feeds 741 clusters Refreshed 52 seconds ago next pull 17:53

TECH Signal 550 2 feeds carried it

A SAT Attack on Tarski's High School Algebra Problem

arxiv.org 5 hours ago 3 min read ↗ Original

Illustration only Photo by Tobias Jelskov on Unsplash

THE CLUSTER

Same story, 2 feeds.

ORDERED BY FIRST SEEN

arxiv.org via Hacker News A SAT Attack on Tarski's High School Algebra Problem 2 weeks Open ↗

arxiv.org via Lobsters A SAT Attack on Tarski's High School Algebra Problem 5 hours Open ↗