Stratégies de résolution anytime de problèmes de satisfaction de contraintes numériques

International audienceA Branch-and-Prune algorithm computes a paving of the solution set of a numerical constraint satisfaction problem to a given precision. An anytime algorithm prematurely stops the computation to a given criterion (for example a maximum running time). This article revises anytime Branch-and-Prune algorithms and introduces two new search strategies and three quality indicators to compare them. The evaluation of their complexity and an experimental analysis enabled to prove the efficiency of those new strategies.Un algorithme Branch-and-Prune calcule un pavage de l'ensemble des solutions d'un problème de satisfaction de contraintes numériques à une précision donnée. Un algorithme anytime stoppe le calcul prématurément, par exemple en limitant le temps de calcul. Cet article revisite les algorithmes Branch-and-Prune Anytime et introduit deux nouvelles stratégies de recherche ainsi que trois indicateurs de qualité pour les comparer. Une étude de complexité et une analyse expérimentale montrent que ces nouvelles stratégies sont pertinentes