Yeah, basically they are using more computation to explore the solution space before producing the final answer.