A Reactive Strategy for High-Level Consistency During Search

A Reactive Strategy for High-Level Consistency During Search

Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Main track. Pages 1390-1397. https://doi.org/10.24963/ijcai.2018/193

Constraint propagation during backtrack search significantly improves the performance of solving a Constraint Satisfaction Problem. While Generalized Arc Consistency (GAC) is the most popular level of propagation, higher-level consistencies (HLC) are needed to solve difficult instances. Deciding to enforce an HLC instead of GAC remains the topic of active research. We propose a simple and effective strategy that reactively triggers an HLC by monitoring search performance: When search starts thrashing, we trigger an HLC, then conservatively revert to GAC. We detect thrashing by counting the number of backtracks at each level of the search tree and geometrically adjust the frequency of triggering an HLC based on its filtering effectiveness. We validate our approach on benchmark problems using Partition-One Arc-Consistency as an HLC. However, our strategy is generic and can be used with other higher-level consistency algorithms.
Keywords:
Constraints and SAT: Constraint Satisfaction
Constraints and SAT: Constraints: Solvers and Tools