The essence of constraint propagation
type: Item
instance of: scholarly article
title: The essence of constraint propagation
zbMATH Open document ID: 0930.68164
DOI: 10.1016/S0304-3975(99)00032-8
author: Krzysztof R. Apt
published in: Theoretical Computer Science
publication date: 2000-01-12T00:00:00Z
Mathematics Subject Classification ID: 68W05
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 1387426
zbMATH Keywords: constraint propagation
zbMATH Keywords: chaotic iteration
zbMATH Keywords: generic algorithms
MaRDI profile type: Publication
cites work: Q4717366
cites work: Asynchronous Iterative Methods for Multiprocessors
cites work: Heterogeneous constraint solving
cites work: Applying interval arithmetic to real, integer, and boolean constraints
cites work: Chaotic relaxation
cites work: Q4371290
cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
cites work: Constraint propagation with interval labels
cites work: Network-based heuristics for constraint-satisfaction problems
cites work: Local and global relational consistency
cites work: Constraint satisfaction over connected row-convex constraints
cites work: Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
cites work: Some fundamental properties of local constraint propagation
cites work: Consistency in networks of relations
cites work: Networks of constraints: Fundamental properties and applications to picture processing
cites work: Constraint relaxation may be perfect
cites work: Q4288820
cites work: Levels of concurrency in constraint satisfaction problems with subdefinite objects
cites work: Value constraints in the CLP scheme
cites work: A generic arc-consistency algorithm and its specializations
full work available at URL: s0304-3975(99)00032-8
OpenAlex ID: W2054700680
description: scientific article; zbMATH DE number 1387426