research

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Authors
Publication date
1 January 2016
Publisher
'Springer Science and Business Media LLC'
Doi
    View on arXiv

    Abstract

    We solved a long-outstanding open problem in Ramsey theory, using SAT solving

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      oaiinfo:doi/10.1007%2F978-3-319-4...
      Last time updated on 01/04/2019

      Cronfa at Swansea University

      redirect
      oaioai:cronfa.swan.ac.uk:cronfa28...
      Last time updated on 06/03/2017