The octagon abstract domain for continuous constraints (Q2342596): Difference between revisions

@@ Property / describes a project that uses @@
+IbexOpt
@@ Property / describes a project that uses: IbexOpt / rank @@
+Normal rank
@@ 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 / full work available at URL @@
+https://doi.org/10.1007/s10601-014-9162-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2001862609
@@ Property / OpenAlex ID: W2001862609 / rank @@
+Normal rank
@@ Property / cites work @@
+The essence of constraint propagation
@@ Property / cites work: The essence of constraint propagation / rank @@
+Normal rank
@@ Property / cites work @@
+A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
+Normal rank
@@ Property / cites work @@
+Heterogeneous constraint solving
@@ Property / cites work: Heterogeneous constraint solving / rank @@
+Normal rank
@@ Property / cites work @@
+Contractor programming
@@ Property / cites work: Contractor programming / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493325
@@ Property / cites work: Q3493325 / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Inequality-sum: a global constraint capturing the objective function
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank