Marek, Victor W.

• The Electronic Journal of Combinatorics Volume 11, Issue 1 (2004) - Research Papers
  Satisfiability and Computing van der Waerden Numbers
  Abstract  PDF  APPENDIX