The essence of constraint propagation (Q1960525): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous Iterative Methods for Multiprocessors
+Normal rank
@@ Property / cites work @@
+Heterogeneous constraint solving
@@ Property / cites work: Heterogeneous constraint solving / rank @@
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+Chaotic relaxation
@@ Property / cites work: Chaotic relaxation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371290
@@ Property / cites work: Q4371290 / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / rank @@
+Normal rank
@@ Property / cites work @@
+Network-based heuristics for constraint-satisfaction problems
+Normal rank
@@ Property / cites work @@
+Local and global relational consistency
@@ Property / cites work: Local and global relational consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction over connected row-convex constraints
+Normal rank
@@ Property / cites work @@
+Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
+Normal rank
@@ Property / cites work @@
+Some fundamental properties of local constraint propagation
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Constraint relaxation may be perfect
@@ Property / cites work: Constraint relaxation may be perfect / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288820
@@ Property / cites work: Q4288820 / rank @@
+Normal rank
@@ Property / cites work @@
+Levels of concurrency in constraint satisfaction problems with subdefinite objects
+Normal rank
@@ Property / cites work @@
+Value constraints in the CLP scheme
@@ Property / cites work: Value constraints in the CLP scheme / rank @@
+Normal rank
@@ Property / cites work @@
+A generic arc-consistency algorithm and its specializations
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(99)00032-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2054700680
@@ Property / OpenAlex ID: W2054700680 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1960525