6 ms·Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-And-Conquer1 points by aalraai 10y ago