4 ms·[pdf] Solving and Verifying the Boolean Pythagorean Triples Problem2 points by sanjoy_das 10y ago