Making adaptive an interval constraint propagation algorithm exploiting monotonicity

Ignacio Araya, Gilles Trombettoni, Bertrand Neveu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

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.

Original languageEnglish
Title of host publicationPrinciples and Practice of Constraint Programming, CP 2010 - 16th International Conference, Proceedings
PublisherSpringer Verlag
Pages61-68
Number of pages8
ISBN (Print)364215395X, 9783642153952
DOIs
StatePublished - 2010
Event16th International Conference on Principles and Practice of Constraint Programming, CP 2010 - St. Andrews, United Kingdom
Duration: 6 Sep 201010 Sep 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6308 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th International Conference on Principles and Practice of Constraint Programming, CP 2010
Country/TerritoryUnited Kingdom
CitySt. Andrews
Period6/09/1010/09/10

Fingerprint

Dive into the research topics of 'Making adaptive an interval constraint propagation algorithm exploiting monotonicity'. Together they form a unique fingerprint.

Cite this