Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp. Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. Journal of Automated Reasoning, 63(3):695-722, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.