least constraining value heuristic