Constraint reasoning based on interval arithmetic: The tolerance propagation approach

DOI10.1016/0004-3702(92)90005-IzbMath0782.68102OpenAlexW1984540483MaRDI QIDQ1204867

Eero Hyvönen

Publication date: 1 April 1993

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(92)90005-i

zbMATH Keywords

numerical constraint satisfactioninterval constraint satisfactiontolerance propagation

Mathematics Subject Classification ID

Combinatorial optimization (90C27)

Related Items (15)

Interval unions ⋮ Contractor programming ⋮ Theoretical and numerical constraint-handling techniques used with evolutionary algorithms: A survey of the state-of-the-art ⋮ Guaranteed recursive non-linear state bounding using interval analysis ⋮ Thick set inversion ⋮ Using interval unions to solve linear systems of equations with uncertainties ⋮ Qualitative and quantitative simulation: bridging the gap ⋮ Reverse propagation of McCormick relaxations ⋮ Interval constraint propagation with application to bounded-error estimation ⋮ Computation of spectral sets for uncertain linear fractional-order systems ⋮ Data types in subdefinite models ⋮ Accelerating filtering techniques for numeric CSPs ⋮ Arc-consistency for continuous variables ⋮ Fuzzy constraint networks for signal pattern recognition ⋮ Guaranteed non-linear estimation using constraint propagation on sets

Uses Software

• Unnamed Item

Cites Work

• Maintaining knowledge about temporal intervals
• CLP\(({\mathfrak R})\) and some electrical engineering problems
• Probabilistic logic
• Constraint propagation with interval labels
• Network-based heuristics for constraint-satisfaction problems
• Tree clustering for constraint networks
• On computing the range of values
• About the Centered Form
• A Sufficient Condition for Backtrack-Free Search
• Computation of rational interval functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constraint reasoning based on interval arithmetic: The tolerance propagation approach