Revising hull and box consistency

  title={Revising hull and box consistency},
  author={Fr{\'e}d{\'e}ric Benhamou and Fr{\'e}d{\'e}ric Goualard and Laurent Granvilliers and Jean-François Puget},
  booktitle={ICLP 1999},
Most interval-based solvers in the constraint logic programming framework are based on either hull consistency or box consistency (or a variation of these ones) to narrow domains of variables involved in continuous constraint systems. This paper first presents HC4, an algorithm to enforce hull consistency without decomposing complex constraints into primitives. Next, an extended definition for box consistency is given and the resulting consistency is shown to subsume hull consistency. Finally… CONTINUE READING
Highly Influential
This paper has highly influenced 53 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 479 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 201 extracted citations

Adaptive Constructive Interval Disjunction

2013 IEEE 25th International Conference on Tools with Artificial Intelligence • 2013
View 13 Excerpts
Method Support
Highly Influenced

Comparison of strategies for solving global optimization problems using speculation and interval computations

2016 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) • 2016
View 9 Excerpts
Method Support
Highly Influenced

479 Citations

Citations per Year
Semantic Scholar estimates that this publication has 479 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 17 references

Interval Constraint Logic Programming

Constraint Programming • 1994
View 7 Excerpts
Highly Influenced

Logical arithmetic

J. G. Cleary
Future Computing Systems, 2(2):125– 149, • 1987
View 4 Excerpts
Highly Influenced

Older . Applying interval arithmetic to real , integer and boolean constraints

F. Benhamou, J. W.
J . Logic Programming • 1997