Crossmark

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Published Online: 2018-10-27

Published Print: 2019-10

Authors

Cruz-Filipe, Luís https://orcid.org/0000-0002-7866-7484
Marques-Silva, Joao

Schneider-Kamp, Peter
Funding

Funding for this research was provided by:

Natur og Univers, Det Frie Forskningsråd (DFF-7014-00041)
License Information

Text and Data Mining valid from 2018-10-27
More Information

Article History

Received: 8 September 2017

Accepted: 20 October 2018

First Online: 27 October 2018

Document is current