Formally Verifying the Solution to the Boolean Pythagorean Triples Problem.

Luís Cruz-Filipe João Marques-Silva Peter Schneider-Kamp

Published in: J. Autom. Reason. (2019)

Keyphrases

optimal solution
information systems
linear equations
e learning
multiresolution
mathematical model
linked data
linear systems