On the van der Waerden numbers
- Submitting institution
-
Swansea University / Prifysgol Abertawe
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 18005
- Type
- D - Journal article
- DOI
-
10.1016/j.dam.2014.05.007
- Title of journal
- Discrete Applied Mathematics
- Article number
- -
- First page
- 27
- Volume
- 174
- Issue
- -
- ISSN
- 0166-218X
- Open access status
- Out of scope for open access requirements
- Month of publication
- September
- Year of publication
- 2014
- URL
-
http://www.cs.swan.ac.uk/~csoliver/papers.html#VDW232011
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
-
- Research group(s)
-
-
- Citation count
- 8
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This article on Ramsey theory provides novel methods for experimental investigations. Most importantly, the Cube-and-Conquer (C&C) method was first developed in this paper, which has become an important tool for mathematical and industrial applications of Satisfiability. Thus, it shows how purely theoretical investigations (here in Ramsey theory) lead to new methods of much wider significance, by providing a field of applications, which is both pure and rich at the same time (versus "messy" applications coming from industry). Besides this, for Ramsey theory SAT solving has become the most powerful computational method, as based on C&C.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -