Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer User gallais, in the Coq subreddit, 01 Jun 2017
[1605.00723] Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer User physixer, in the Computer Science: Theory and Application subreddit, 12 Sep 2016
[1605.00723] Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer User physixer, in the math subreddit, 12 Sep 2016