Ramsey Theory and SAT

Green-Tao numbers

Van der Waerden numbers


Oliver Kullmann

Last modified: Thu Aug 9 23:02:23 BST 2012