Stem der$ (all stems)

3 papers:

CASE-2006-ZhangCVJG #assembly #modelling

Modeling of van der Waals Forces during the Assembly of Micro Devices (LZ, JC, DV, JJ, BG), pp. 484–489.

STOC-2006-Gurvits #algorithm #approach #bound #proving

Hyperbolic polynomials approach to Van der Waerden/Schrijver-Valiant like conjectures: sharper bounds, simpler proofs and algorithmic applications (LG), pp. 417–426.

SAT-2003-DransfieldMT #satisfiability

Satisfiability and Computing van der Waerden Numbers (MRD, VWM, MT), pp. 1–13.