Résumé : Résumé Un opérateur de filtrage nommé CID et une variante efficace 3BCID ont eté proposés en 2007. Ces opérateurs calculent pour des CSP numériques traités avec des méthodes à intervalles une consistance partielle équivalente à Partition-1-AC pour les CSP à domaines finis. Les deux paramètres principaux de CID sont le nombre d'appels à la procédure principale et le nombre maximum de sous-intervalles traités par cette procédure. Cet opérateur 3BCID est efficace pour la résolution de CSP numériques, mais l'est moins en optimisation globale sous contraintes. Cet article propose une variante adaptative de 3BCID. Le nombre de variables traitées est calculé automatiquement durant la recherche, les autres paramètres étant fixés de manìère robuste. Sur un échantillon représentatif d'instances, ACID apparaît comme la meilleure approche en résolution et en optimisation. Elle a été choisie comme méthode de contraction par défaut du résolveur par intervalles Ibex.
Type de document :
Communication dans un congrès
Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France. 2014
https://hal-enpc.archives-ouvertes.fr/hal-01077462
Contributeur : Bertrand Neveu
<>
Soumis le : vendredi 24 octobre 2014 - 17:15:04
Dernière modification le : mercredi 30 mai 2018 - 17:22:02
Document(s) archivé(s) le : dimanche 25 janvier 2015 - 10:50:51
