 |
|
|
|
| HAL : hal-00428970, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Lisbon : Portugal (2009) |
|
|
|
|
| Hull Consistency Under Monotonicity |
|
|
| Gilles Chabert 1Luc Jaulin 2 |
|
|
| (2009) |
|
|
|
| We prove that hull consistency for a system of equations or inequalities can be achieved in polynomial time providing that the underlying functions are monotone with respect to each variable. This result holds including when variables have multiple occurrences in the expressions of the functions, which is usually a pitfall for interval-based contractors. For a given constraint, an optimal contractor can thus be enforced quickly under monotonicity and the practical significance of this theoretical result is illustrated on a simple example. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – Ecole des Mines de Nantes |
|
|
| 2 : | Développement des Technologies Nouvelles (DTN) |
|
|
|
Ecole Nationale Supérieure des Ingénieurs des Etudes et Techniques d'Armement |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Intelligence artificielle |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00428970, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00428970/fr/ | |
| oai:hal.archives-ouvertes.fr:hal-00428970_v1 | |
| Contributeur : Gilles Chabert | |
| Soumis le : Vendredi 30 Octobre 2009, 11:01:50 | |
| Dernière modification le : Lundi 15 Février 2010, 16:30:20 | |
