Advanced search
Publication Cover
Experimental Mathematics Volume 17, 2008 - Issue 1
Submit an article Journal homepage
80
Views
21
CrossRef citations to date
0
Altmetric
Original Article

The van der Waerden Number W(2, 6) Is 1132

Michal Kouril Computer Science Department, University of Cincinnati, 814B Rhodes Hall, Cincinnati, OH 45221-0030
&
Jerome L. Paul Computer Science Department, University of Cincinnati, 814B Rhodes Hall, Cincinnati, OH 45221-0030
Pages 53-61 | Published online: 30 Jan 2011

Citations (21)

Keep up to date with the latest research on this topic with citation updates for this article.

Subscribe to citation updates

Read on this site (2)

Aaron Robertson, William Cipolli & Maria Dascălu. (2021) On the Distribution of Monochromatic Complete Subgraphs and Arithmetic Progressions. Experimental Mathematics 30:1, pages 135-145.
Read now
L. Boza, J. M. Marín, M. P. Revuelta & M. I. Sanz. (2019) On the n-Color Weak Rado Numbers for the Equation . Experimental Mathematics 28:2, pages 194-208.
Read now

Articles from other publishers (19)

Aaron A. Windsor. (2023) Computer-Aided Constructions of Commafree Codes. Journal of Automated Reasoning 67:1.
Crossref
Curtis Bright, Kevin Cheung, Brett Stevens, Dominique Roy, Ilias Kotsireas & Vijay Ganesh. (2020) A nonexistence certificate for projective planes of order ten with weight 15 codewords. Applicable Algebra in Engineering, Communication and Computing 31:3-4, pages 195-213.
Crossref
Munira A. Abd El-Maksoud & Areeg Abdalla. (2019) A novel SAT solver for the Van der Waerden numbers. Journal of the Egyptian Mathematical Society 27:1.
Crossref
Marijn J. H. Heule. (2019) Optimal Symmetry Breaking for Graph Problems. Mathematics in Computer Science 13:4, pages 533-548.
Crossref
Curtis Bright, Dragomir Ž. Đoković, Ilias Kotsireas & Vijay Ganesh. (2019) The SAT+CAS method for combinatorial search with applications to best matrices. Annals of Mathematics and Artificial Intelligence 87:4, pages 321-342.
Crossref
Kaushik Maran, Sai Praneeth Reddy, Dravyansh Sharma & Amitabha Tripathi. (2018) Some results on a class of mixed van der Waerden numbers. Rocky Mountain Journal of Mathematics 48:3.
Crossref
Thomas Blankenship, Jay Cummings & Vladislav Taranchuk. (2018) A new lower bound for van der Waerden numbers. European Journal of Combinatorics 69, pages 163-168.
Crossref
Marijn J. H. Heule & Oliver Kullmann. (2017) The science of brute force. Communications of the ACM 60:8, pages 70-79.
Crossref
Marijn J.H. Heule. (2016) The Quest for Perfect and Compact Symmetry Breaking for Graph Problems. The Quest for Perfect and Compact Symmetry Breaking for Graph Problems.
Marijn J. H. Heule, Oliver Kullmann & Victor W. Marek. 2016. Theory and Applications of Satisfiability Testing – SAT 2016. Theory and Applications of Satisfiability Testing – SAT 2016 228 245 .
Marijn J. H. Heule & Armin Biere. 2015. Logic for Programming, Artificial Intelligence, and Reasoning. Logic for Programming, Artificial Intelligence, and Reasoning 444 459 .
Marijn J. H. Heule, Warren A. HuntJr.Jr. & Nathan Wetzler. 2015. Automated Deduction - CADE-25. Automated Deduction - CADE-25 591 606 .
Tanbir Ahmed, Oliver Kullmann & Hunter Snevily. (2014) On the van der Waerden numbers . Discrete Applied Mathematics 174, pages 27-51.
Crossref
Zehui Shao & Xiaodong Xu. (2013) On semi-progression van der Waerden numbers. Computational and Applied Mathematics 32:1, pages 19-25.
Crossref
John Franco & Sean Weaver. 2013. Handbook of Combinatorial Optimization. Handbook of Combinatorial Optimization 311 454 .
S. Eliahou, J.M. Marín, M.P. Revuelta & M.I. Sanz. (2012) Weak Schur numbers and the search for G.W. Walker’s lost partitions. Computers & Mathematics with Applications 63:1, pages 175-182.
Crossref
Denis Robilliard, Amine Boumaza & Virginie Marion-Poty. (2010) Meta-heuristic search and square erickson matrices. Meta-heuristic search and square erickson matrices.
Oliver Kullmann. 2010. Theory and Applications of Satisfiability Testing – SAT 2010. Theory and Applications of Satisfiability Testing – SAT 2010 352 362 .
Tanbir Ahmed. (2009) Some new van der Waerden numbers and some van der Waerden-type numbers. Integers 9:1.
Crossref

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.