Solving linear, min and max constraint systems using CLP based on relational interval arithmetic (Q1391939): Difference between revisions

@@ Property / describes a project that uses @@
+Algorithm 97
@@ Property / describes a project that uses: Algorithm 97 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345690
@@ Property / cites work: Q3345690 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+Consistency and satisfiability of waveform timing specifications
+Normal rank
@@ Property / cites work @@
+Q4012214
@@ Property / cites work: Q4012214 / rank @@
+Normal rank
@@ Property / cites work @@
+Accelerating filtering techniques for numeric CSPs
+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 @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3207999
@@ Property / cites work: Q3207999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288820
@@ Property / cites work: Q4288820 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction using constraint logic programming
+Normal rank
@@ Property / cites work @@
+A Theorem on Boolean Matrices
@@ Property / cites work: A Theorem on Boolean Matrices / rank @@
+Normal rank