Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-And-Conquer #1 Post by aalraai » Wed, Jun 01, 2016, 10:19 PM UTC Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-And-Conquerarxiv.org