No Cover Image

Conference Paper/Proceeding/Abstract 740 views 264 downloads

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer / Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek

Theory and Applications of Satisfiability Testing – SAT 2016, Volume: 9710, Pages: 228 - 245

Swansea University Author: Oliver Kullmann

Abstract

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

Published in: Theory and Applications of Satisfiability Testing – SAT 2016
ISBN: 978-3-319-40969-6 978-3-319-40970-2
ISSN: 0302-9743
Published: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings 2016
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa28694
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: We solved a long-outstanding open problem in Ramsey theory, using SAT solving.
Keywords: Ramsey theory, Satisfiability
Start Page: 228
End Page: 245