Cardinal: a finite sets constraint solver (Q879977): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-006-9012-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2001769932
@@ Property / OpenAlex ID: W2001769932 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4425816
@@ Property / cites work: Q4425816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767076
@@ Property / cites work: Q2767076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+CLAIRE: combining sets, search and rules to  better express algorithms
+Normal rank
@@ Property / cites work @@
+Q4375589
@@ Property / cites work: Q4375589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Bicoloring Steiner triple systems
@@ Property / cites work: Bicoloring Steiner triple systems / rank @@
+Normal rank
@@ Property / cites work @@
+Interval propagation to reason about sets: Definition and implementation of a practical language
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank