Pages that link to "Item:Q1883655"
From MaRDI portal
The following pages link to Satisfiability and computing van der Waerden numbers (Q1883655):
Displaying 10 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)
- The packing chromatic number of the infinite square lattice is between 13 and 15 (Q528575) (← links)
- On generalized Schur numbers of the equation \(x+ay=z\) (Q780504) (← links)
- Bounds on some van der Waerden numbers (Q958741) (← links)
- Optimal symmetry breaking for graph problems (Q2009225) (← links)
- On orthogonal symmetric chain decompositions (Q2325764) (← links)
- A novel SAT solver for the van der Waerden numbers (Q2338161) (← links)
- Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking (Q2398438) (← links)
- On the <i>n</i>-Color Weak Rado Numbers for the Equation <i>x1+x2+⋯+xk+c=xk+1</i> (Q5382933) (← links)
