Pages that link to "Item:Q3546251"
From MaRDI portal
The following pages link to The van der Waerden Number<i>W</i>(2, 6) Is 1132 (Q3546251):
Displayed 16 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- Weak Schur numbers and the search for G. W. Walker's lost partitions (Q418311) (← links)
- A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
- Some results on a class of mixed van der Waerden numbers (Q1657781) (← links)
- A new lower bound for van der Waerden numbers (Q1686261) (← links)
- Optimal symmetry breaking for graph problems (Q2009225) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- On orthogonal symmetric chain decompositions (Q2325764) (← links)
- A novel SAT solver for the van der Waerden numbers (Q2338161) (← links)
- On semi-progression van der Waerden numbers (Q2392966) (← links)
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
- Expressing Symmetry Breaking in DRAT Proofs (Q3454124) (← links)
- (Q5033249) (← links)
- On the <i>n</i>-Color Weak Rado Numbers for the Equation <i>x1+x2+⋯+xk+c=xk+1</i> (Q5382933) (← links)
- On the Distribution of Monochromatic Complete Subgraphs and Arithmetic Progressions (Q5857770) (← links)
- Computer-aided constructions of commafree codes (Q6156641) (← links)