Keyword:Boolean Pythagorean Triples problem

Papers
Formally Proving the Boolean Pythagorean Triples Conjecture Luís Cruz-Filipe and Peter Schneider-Kamp In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning