The essence of constraint propagation

DOI10.1016/S0304-3975(99)00032-8zbMath0930.68164OpenAlexW2054700680MaRDI QIDQ1960525

Krzysztof R. Apt

Publication date: 12 January 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00032-8

zbMATH Keywords

constraint propagationgeneric algorithmschaotic iteration

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Learning and adaptive systems in artificial intelligence (68T05)

Related Items (17)

Incremental Computation of Succinct Abstractions for Hybrid Systems ⋮ Range-only SLAM with indistinguishable landmarks; a constraint programming approach ⋮ Constraint propagation as information maximization ⋮ Constraint propagation on quadratic constraints ⋮ Thick set inversion ⋮ Domain reduction techniques for global NLP and MINLP optimization ⋮ A global constraint for over-approximation of real-time streams ⋮ Combining interval analysis with flatness theory for state estimation of sailboat robots ⋮ An Analysis of Slow Convergence in Interval Propagation ⋮ Modular Constraint Solver Cooperation via Abstract Interpretation ⋮ Soft arc consistency revisited ⋮ Integration and propagation of a multi-criteria decision making model in constraint programming ⋮ Semidefinite Programming and Constraint Programming ⋮ Reliable nonlinear state estimation involving time uncertainties ⋮ Enhancing numerical constraint propagation using multiple inclusion representations ⋮ A class of polynomially solvable range constraints for interval analysis without widenings ⋮ The octagon abstract domain for continuous constraints

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Constraint propagation with interval labels
• Network-based heuristics for constraint-satisfaction problems
• Some fundamental properties of local constraint propagation
• A generic arc-consistency algorithm and its specializations
• Consistency in networks of relations
• Constraint satisfaction over connected row-convex constraints
• Value constraints in the CLP scheme
• Local and global relational consistency
• Networks of constraints: Fundamental properties and applications to picture processing
• Constraint relaxation may be perfect
• Chaotic relaxation
• Heterogeneous constraint solving
• Asynchronous Iterative Methods for Multiprocessors
• Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14.1]
• Applying interval arithmetic to real, integer, and boolean constraints
• Levels of concurrency in constraint satisfaction problems with subdefinite objects

This page was built for publication: The essence of constraint propagation