The essence of constraint propagation

DOI10.1016/S0304-3975(99)00032-8zbMath0930.68164MaRDI 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 propagation; generic algorithms; chaotic iteration

Mathematics Subject Classification ID

68W05: Nonnumerical algorithms

68T05: Learning and adaptive systems in artificial intelligence

Related Items

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

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