Skip to main content

Table 2 Some of the known Van Der Waerden numbers

From: A novel SAT solver for the Van der Waerden numbers

w(r;t1,t2,…, tr)

 

Reference

w(2; 3, 17)

= 279

Ahmed [10]

w(2; 3, 18)

= 312

Ahmed [10]

w(2; 5, 5)

= 178

Beeler et al. [20]

w(2; 6, 6)

= 1132

Kouril et al. [21]

w(3; 2, 3, 7)

= 55

Landman et al. [22]

w(3; 3, 4, 4)

= 89

Landman et al. [22]

w(4; 2, 2, 3, 6)

= 48

Landman et al. [22]

w(4; 2, 2, 2, 2)

= 76

Beeler et al. [20]

w(4; 2, 2, 3, 7)

= 65

Landman et al. [22]

w(5; 2, 2, 2, 3, 3)

= 20

Landman et al. [22]

w(5; 2, 2, 3, 3, 3)

= 41

Landman et al. [22]

w(6; 2, 2, 2, 2, 4, 4)

= 56

Ahmed [23]

w(6; 2, 2, 2, 3, 3, 3)

= 42

Ahmed [23]

w(7; 2, 2, 2, 2, 2, 3, 3)

= 24

Ahmed [23]

w(7; 2, 2, 2, 2, 2, 3, 4)

= 36

Ahmed [23]

w(8; 2, 2, 2, 2, 2, 2, 3, 3)

= 25

Ahmed [23]

w(9; 2, 2, 2, 2, 2, 2, 2, 3, 3)

= 28

Ahmed [23]