Accelerating filtering techniques for numeric CSPs (Q1606118): Difference between revisions

@@ Property / describes a project that uses @@
+INTOPT_90
@@ Property / describes a project that uses: INTOPT_90 / 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 @@
+Q4851602
@@ Property / cites work: Q4851602 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of numerical redundancies for nonlinear constraint solving
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+Q4179737
@@ Property / cites work: Q4179737 / rank @@
+Normal rank
@@ Property / cites work @@
+A derivation of extrapolation algorithms based on error estimates
+Normal rank
@@ Property / cites work @@
+Extrapolation methods
@@ Property / cites work: Extrapolation methods / rank @@
+Normal rank
@@ Property / cites work @@
+A general extrapolation procedure revisited
@@ Property / cites work: A general extrapolation procedure revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / rank @@
+Normal rank
@@ Property / cites work @@
+Résultats négatifs en accélération de la convergence
+Normal rank
@@ Property / cites work @@
+Arc-consistency for continuous variables
@@ Property / cites work: Arc-consistency for continuous variables / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing constraint expressions
@@ Property / cites work: Synthesizing constraint expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A sufficient condition for backtrack-bounded search
+Normal rank
@@ Property / cites work @@
+Q4004279
@@ Property / cites work: Q4004279 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint reasoning based on interval arithmetic: The tolerance propagation approach
+Normal rank
@@ Property / cites work @@
+Rigorous global search: continuous problems
@@ Property / cites work: Rigorous global search: continuous problems / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity and feasibility of data processing and interval computations
+Normal rank
@@ Property / cites work @@
+Q4218858
@@ Property / cites work: Q4218858 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic optimization of interval narrowing algorithms
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations
+Normal rank
@@ Property / cites work @@
+A constraint satisfaction approach to a circuit design problem
+Normal rank
@@ Property / cites work @@
+Q3707258
@@ Property / cites work: Q3707258 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments using interval analysis for solving a circuit design problem
+Normal rank
@@ Property / cites work @@
+Solving Polynomial Systems Using a Branch and Prune Approach
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(02)00194-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2079809152
@@ Property / OpenAlex ID: W2079809152 / rank @@
+Normal rank