Search Results

The Bound-Impact Value Selector (BIVS) employs a look-ahead strategy to enable black-box Constraint Optimization Problem (COP) solvers to find high-quality solutions earlier. However, its computational cost prohibits its use throughout the entire search process. To mitigate this cost, the Restricted Fixpoint (RF) approach considers only the constraints on the shortest paths between the selected variable and the objective, yielding better performance. In this paper, we propose a lightweight strategy from a different perspective, named Assess Before Look-Ahead (ABLA), to enhance the performance of look-ahead-based value heuristics for solving COPs. ABLA first assesses whether the look-ahead process can differentiate between the values of a variable, and only performs the look-ahead when this assessment passes. Experiments on benchmark instances from recent MiniZinc Challenges demonstrate that ABLA’s decisions to skip redundant look-ahead processes are highly reliable, with an average accuracy of over 94%. Consequently, ABLA significantly boosts the performance of both BIVS and RF, outperforming two other baselines: the minimum value heuristic and the RLARF value heuristic.