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

Conference Paper/Proceeding/Abstract 2165 views 970 downloads

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

DOI (Published version): 10.1007/978-3-319-40970-2_15

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

Abstract:	We solved a long-outstanding open problem in Ramsey theory, using SAT solving.
Keywords:	Ramsey theory, Satisfiability
College:	Faculty of Science and Engineering
Start Page:	228
End Page:	245