约束求解

寻找满足一组特定限制条件的变量值的过程，广泛用于规划、调度等领域。