Solving and Verifying the Boolean Pythagorean Triples Problem
arxiv.org