[pdf] Solving and Verifying the Boolean Pythagorean Triples Problem #1 Post by sanjoy_das » Thu, May 19, 2016, 6:10 AM UTC [pdf] Solving and Verifying the Boolean Pythagorean Triples Problemarxiv.org