This usually translates into trying to first verify the simplest constraints of the problems, usually the ones that involve the least number of variables.

这通常被理解为首先尝试验证约束最简单的问题，通常是那些涉及变量数最少的问题。