Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition.