Conference Paper/Proceeding/Abstract 1621 views 863 downloads
Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
Marijn J. H. Heule,
Oliver Kullmann 
,
Victor W. Marek
,
Victor W. Marek
Theory and Applications of Satisfiability Testing – SAT 2016, Volume: 9710, Pages: 228 - 245
Swansea University Author:
Oliver Kullmann
-
PDF | Accepted Manuscript
Download (1.39MB)
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 |
| 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 |
| College: |
Faculty of Science and Engineering |
| Start Page: |
228 |
| End Page: |
245 |