Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity

Abstract : A new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), has recently been proposed. Mohc exploits monotonicity of functions to better filter variable domains. Embedded in an interval-based solver, Mohc shows very high performance for solving systems of numerical constraints (equations or inequalities) over the reals. However, the main drawback is that its revise procedure depends on two user-defined parameters. This paper reports a rigourous empirical study resulting in a variant of Mohc that avoids a manual tuning of the parameters. In particular, we propose a policy to adjust in an auto-adaptive way, during the search, the parameter sensitive to the monotonicity of the revised function.
Type de document :
Communication dans un congrès
CP 2010, 16th International Conference on Principles and Practice of Constraint Programming, Sep 2010, St Andrews, Scotland, United Kingdom. Springer-Verlag, 6308, pp.61-68, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15396-9_8〉
Liste complète des métadonnées

https://hal-enpc.archives-ouvertes.fr/hal-00654414
Contributeur : <>
Soumis le : mercredi 21 décembre 2011 - 19:15:59
Dernière modification le : mercredi 15 avril 2015 - 16:08:53
Document(s) archivé(s) le : lundi 19 novembre 2012 - 10:10:26

Fichier

CP10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Ignacio Araya, Gilles Trombettoni, Bertrand Neveu. Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity. CP 2010, 16th International Conference on Principles and Practice of Constraint Programming, Sep 2010, St Andrews, Scotland, United Kingdom. Springer-Verlag, 6308, pp.61-68, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15396-9_8〉. 〈hal-00654414〉

Partager

Métriques

Consultations de la notice

331

Téléchargements de fichiers

90