Hacker News new | ask | show | jobs
Solving and Verifying the Bool Pythagorean Triples Problem via Cube-And-Conquer (arxiv.org)
2 points by amatus 2792 days ago