Skip to Main content Skip to Navigation
Conference papers

Hull Consistency Under Monotonicity

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00428970
Contributor : Gilles Chabert <>
Submitted on : Friday, October 30, 2009 - 11:01:50 AM
Last modification on : Monday, July 20, 2020 - 11:24:14 AM
Long-term archiving on: : Thursday, June 17, 2010 - 6:47:30 PM

File

mono.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00428970, version 1

Citation

Gilles Chabert, Luc Jaulin. Hull Consistency Under Monotonicity. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 188-195. ⟨hal-00428970⟩

Share

Metrics

Record views

405

Files downloads

336