Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer.

Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek

Browse the full SAT paper archive.