Perturbing Branching Heuristics in Constraint Solving - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Perturbing Branching Heuristics in Constraint Solving

Hugues Wattez

Résumé

Variable ordering heuristics are one of the key settings for an efficient constraint solver. During the last two decades, a considerable effort has been spent for designing dynamic heuristics that iteratively change the order of variables as search progresses. At the same time, restart and randomization methods have been devised for alleviating heavy-tailed phenomena that typically arise in backtrack search. Despite restart methods are now well-understood, choosing how and when to randomize a given heuristic remains an open issue in the design of modern solvers. In this paper, we present several conceptually simple perturbation strategies for incorporating random choices in constraint solving with restarts. The amount of perturbation is controlled and learned in a bandit-driven framework under various stationary and non-stationary exploration policies, during successive restarts. Our experimental evaluation shows significant performance improvements for the perturbed heuristics compared to their classic counterpart, establishing the need for incorporating perturbation in modern constraint solvers.
Fichier principal
Vignette du fichier
final.pdf (507.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03096113 , version 1 (05-01-2021)

Identifiants

Citer

Anastasia Paparrizou, Hugues Wattez. Perturbing Branching Heuristics in Constraint Solving. 26th International Conference on Principles and Practice of Constraint Programming (CP'20), Sep 2020, Louvain-la-Neuve, Belgium. ⟨10.1007/978-3-030-58475-7_29⟩. ⟨hal-03096113⟩
33 Consultations
198 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More