Revising Hull and Box Consistency

@inproceedings{Benhamou1999RevisingHA,
  title={Revising Hull and Box Consistency},
  author={F. Benhamou and F. Goualard and L. Granvilliers and J. Puget},
  booktitle={ICLP},
  year={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… Expand
Towards Cooperative Interval Narrowing
A Box-Consistency Contractor Based on Extremal Functions
Box-set consistency for interval-based constraint problems
Exploiting Monotonicity in Interval Constraint Propagation
Combination of Boxes and Polyhedra Abstractions for Constraint Solving
Directional Consistency for Continuous Numerical Constraints
A New Interval Contractor Based on Optimality Conditions for Bound Constrained Global Optimization
  • L. Granvilliers
  • Computer Science
  • 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)
  • 2018
Solving Continuous Constraint Systems
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 18 REFERENCES
Interval Constraint Logic Programming
  • F. Benhamou
  • Mathematics, Computer Science
  • Constraint Programming
  • 1994
CLP(Intervals) Revisited
An Extension of the WAM for Hybrid Interval Solvers
Numerica: A Modeling Language for Global Optimization
A C++ implementation of CLP
Consistency in Networks of Relations
Comparing Partial Consistencies
Constraint Arithmetic on Real Intervals
On automatic differentiation
...
1
2
...