- B. L. van der Waerden. "Beweis einer Baudetschen Vermutung." Nieuw Archief voor Wiskunde 15 (1927), 212–216.
- M. D. Beeler and P. E. O'Neil. "Some New van der Waerden Numbers." Discrete Mathematics 28 (1979), 135–146.
- M. Kouril and J. Franco. "Resolution Tunnels for Improved SAT Solver Performance." In Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland, pp. 143–157. Berlin / Heidelberg: Springer, 2005
- M. Kouril. "A Backtracking Framework for Beowulf Clusters with an Extension to Multi-cluster Computation and SAT Benchmark Problem Implementation." PhD thesis, University of Cincinnati, 2006.
Experimental Mathematics
Volume 17, 2008 - Issue 1