On the $n$-color Rado number for the equation $x_{1}+x_{2}+ \dots +x_{k}+c =x_{k+1}$ (Q2796031)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the $n$-color Rado number for the equation $x_{1}+x_{2}+ \dots +x_{k}+c =x_{k+1}$ |
scientific article |
Statements
On the $n$-color Rado number for the equation $x_{1}+x_{2}+ \dots +x_{k}+c =x_{k+1}$ (English)
0 references
23 March 2016
0 references
Schur numbers
0 references
sum-free sets
0 references
Rado numbers
0 references
Boolean variables
0 references
SAT problem
0 references
SAT solver
0 references
0 references
