Satisfiability and Computing van der Waerden Numbers. - Michael R. Dransfield; V. Wiktor Marek; Miroslaw Truszczynski (SAT, 2003)

SBSAT: a State-Based, BDD-Based Satisfiability Solver. - John V. Franco; Michal Kouril; John S. Schlipf; Jeffrey Ward; Sean A. Weaver; Michael R. Dransfield; W. Mark Vanfleet (SAT, 2003)

Satisfiability and Computing van der Waerden Numbers. - Michael R. Dransfield; Lengning Liu; Victor W. Marek; Miroslaw Truszczynski (Electron. J. Comb., 2004)

Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. - John V. Franco; Michal Kouril; John S. Schlipf; Sean A. Weaver; Michael R. Dransfield; W. Mark Vanfleet (J. Univers. Comput. Sci., 2004)