No Cover Image

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 Orcid Logo, Victor W. Marek

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

Swansea University Author: Oliver Kullmann Orcid Logo

Check full text

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!
first_indexed 2016-06-06T03:22:00Z
last_indexed 2023-02-03T03:35:13Z
id cronfa28694
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-02-02T15:59:41.5084257</datestamp><bib-version>v2</bib-version><id>28694</id><entry>2016-06-06</entry><title>Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer</title><swanseaauthors><author><sid>2b410f26f9324d6b06c2b98f67362d05</sid><ORCID>0000-0003-3021-0095</ORCID><firstname>Oliver</firstname><surname>Kullmann</surname><name>Oliver Kullmann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2016-06-06</date><deptcode>SCS</deptcode><abstract>We solved a long-outstanding open problem in Ramsey theory, using SAT solving.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Theory and Applications of Satisfiability Testing &#x2013; SAT 2016</journal><volume>9710</volume><journalNumber/><paginationStart>228</paginationStart><paginationEnd>245</paginationEnd><publisher>19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings</publisher><placeOfPublication/><isbnPrint>978-3-319-40969-6</isbnPrint><isbnElectronic>978-3-319-40970-2</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic/><keywords>Ramsey theory, Satisfiability</keywords><publishedDay>30</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-06-30</publishedDate><doi>10.1007/978-3-319-40970-2_15</doi><url>http://cs.swan.ac.uk/~csoliver/papers.html#PYTHAGOREAN2016C</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-02-02T15:59:41.5084257</lastEdited><Created>2016-06-06T00:57:58.8370194</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Marijn J. H.</firstname><surname>Heule</surname><order>1</order></author><author><firstname>Oliver</firstname><surname>Kullmann</surname><orcid>0000-0003-3021-0095</orcid><order>2</order></author><author><firstname>Victor W.</firstname><surname>Marek</surname><order>3</order></author></authors><documents><document><filename>0028694-06062016010529.pdf</filename><originalFilename>SAT_2016_paper_27.pdf</originalFilename><uploaded>2016-06-06T01:05:29.3070000</uploaded><type>Output</type><contentLength>1413714</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2017-06-06T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2023-02-02T15:59:41.5084257 v2 28694 2016-06-06 Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer 2b410f26f9324d6b06c2b98f67362d05 0000-0003-3021-0095 Oliver Kullmann Oliver Kullmann true false 2016-06-06 SCS We solved a long-outstanding open problem in Ramsey theory, using SAT solving. Conference Paper/Proceeding/Abstract Theory and Applications of Satisfiability Testing – SAT 2016 9710 228 245 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings 978-3-319-40969-6 978-3-319-40970-2 0302-9743 Ramsey theory, Satisfiability 30 6 2016 2016-06-30 10.1007/978-3-319-40970-2_15 http://cs.swan.ac.uk/~csoliver/papers.html#PYTHAGOREAN2016C COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2023-02-02T15:59:41.5084257 2016-06-06T00:57:58.8370194 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Marijn J. H. Heule 1 Oliver Kullmann 0000-0003-3021-0095 2 Victor W. Marek 3 0028694-06062016010529.pdf SAT_2016_paper_27.pdf 2016-06-06T01:05:29.3070000 Output 1413714 application/pdf Accepted Manuscript true 2017-06-06T00:00:00.0000000 true
title Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
spellingShingle Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
Oliver Kullmann
title_short Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
title_full Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
title_fullStr Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
title_full_unstemmed Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
title_sort Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
author_id_str_mv 2b410f26f9324d6b06c2b98f67362d05
author_id_fullname_str_mv 2b410f26f9324d6b06c2b98f67362d05_***_Oliver Kullmann
author Oliver Kullmann
author2 Marijn J. H. Heule
Oliver Kullmann
Victor W. Marek
format Conference Paper/Proceeding/Abstract
container_title Theory and Applications of Satisfiability Testing – SAT 2016
container_volume 9710
container_start_page 228
publishDate 2016
institution Swansea University
isbn 978-3-319-40969-6
978-3-319-40970-2
issn 0302-9743
doi_str_mv 10.1007/978-3-319-40970-2_15
publisher 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://cs.swan.ac.uk/~csoliver/papers.html#PYTHAGOREAN2016C
document_store_str 1
active_str 0
description We solved a long-outstanding open problem in Ramsey theory, using SAT solving.
published_date 2016-06-30T03:34:58Z
_version_ 1763751492168187904
score 11.035634

Similar Items