Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer - Oliver Kullmann (19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings, 2016)