[pdf] Solving and Verifying the Boolean Pythagorean Triples Problemarxiv.org2 points·sanjoy_das··0 commentsOpen articleSaveView on HN