Marijn J. H. Heule Oliver Kullmann Victor W. Marek Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. 228-245 2016 SAT https://doi.org/10.1007/978-3-319-40970-2_15 https://www.wikidata.org/entity/Q55969534 conf/sat/2016 db/conf/sat/sat2016.html#HeuleKM16