On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
From MaRDI portal
Publication:400514
DOI10.1016/j.dam.2014.05.007zbMath1298.05313arXiv1102.5433OpenAlexW1706312069WikidataQ29037270 ScholiaQ29037270MaRDI QIDQ400514
Tanbir Ahmed, Oliver Kullmann, Hunter S. Snevily
Publication date: 22 August 2014
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1102.5433
Related Items
Some results on a class of mixed van der Waerden numbers, New lower bounds for van der Waerden numbers, On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\), Unnamed Item, The SAT+CAS method for combinatorial search with applications to best matrices, Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer, A nonexistence certificate for projective planes of order ten with weight 15 codewords, Projection heuristics for binary branchings between sum and product
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Some new van der Waerden numbers
- A parallelization scheme based on work stealing for a class of SAT solvers
- A new method to construct lower bounds for van der Waerden numbers
- Bounds on some van der Waerden numbers
- Theory and applications of satisfiability testing -- SAT 2010. 13th international conference, SAT 2010, Edinburgh, UK, July 11--14, 2010. Proceedings
- Small Ramsey numbers
- Satisfiability and computing van der Waerden numbers
- Branching rules for satisfiability
- The \(Multi\)-SAT algorithm
- Generalising unit-refutation completeness and SLUR via nested input resolution
- PSATO: A distributed propositional prover and its application to quasigroup problems
- Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10--13, 2004. Revised selected papers.
- Ramsey theory applications
- Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency
- On Computation of Exact van der Waerden Numbers
- Generalising and Unifying SLUR and Unit-Refutation Completeness
- Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications
- The van der Waerden NumberW(2, 6) Is 1132
- Tutorial on Model Checking: Modelling and Verification in Computer Science
- Some new van der Waerden numbers and some van der Waerden-type numbers
- Some Progression-Free Partitions Constructed using Folkman's Method
- Two Techniques for Minimizing Resolution Proofs
- Green-Tao Numbers and SAT
- Partitioning SAT Instances for Distributed Solving
- Two New Van Der Waerden Numbers: w(2; 3, 17) and w(2; 3, 18)
- Theory and Applications of Satisfiability Testing
- Software Verification for Weak Memory via Program Transformation
- A machine program for theorem-proving
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
