From chaotic iteration to constraint propagation (Q4571938): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1556356866
@@ Property / OpenAlex ID: W1556356866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264201
@@ Property / cites work: Q4264201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / 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 @@
+Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
+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 @@
+Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint relaxation may be perfect
@@ Property / cites work: Constraint relaxation may be perfect / rank @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:4571938