Constraint propagation on quadratic constraints (Q606897): Difference between revisions

@@ Property / cites work @@
+The essence of constraint propagation
@@ Property / cites work: The essence of constraint propagation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851602
@@ Property / cites work: Q4851602 / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous constraint solving
@@ Property / cites work: Heterogeneous constraint solving / rank @@
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+Q4471947
@@ Property / cites work: Q4471947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4352736
@@ Property / cites work: Q4352736 / rank @@
+Normal rank
@@ Property / cites work @@
+G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Rigorous Enclosures of Ellipsoids and Directed Cholesky Factorizations
+Normal rank
@@ Property / cites work @@
+A scaling algorithm for polynomial constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Algorithm 852
@@ Property / cites work: Algorithm 852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851734
@@ Property / cites work: Q4851734 / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp bounds on interval polynomial roots
@@ Property / cites work: Sharp bounds on interval polynomial roots / rank @@
+Normal rank
@@ Property / cites work @@
+Q4874519
@@ Property / cites work: Q4874519 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval constraint propagation with application to bounded-error estimation
+Normal rank
@@ Property / cites work @@
+Guaranteed non-linear estimation using constraint propagation on sets
+Normal rank
@@ Property / cites work @@
+Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems
+Normal rank
@@ Property / cites work @@
+PSICO: Solving protein structures with constraint programming and optimization
+Normal rank
@@ Property / cites work @@
+A rigorous global filtering algorithm for quadratic constraints
+Normal rank
@@ Property / cites work @@
+Constraint propagation, relational arithmetic in AI systems and mathematical programs
+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 @@
+Enclosing clusters of zeros of polynomials
@@ Property / cites work: Enclosing clusters of zeros of polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Complete search in continuous global optimization and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
+Normal rank
@@ Property / cites work @@
+Interval analysis on directed acyclic graphs for global optimization
+Normal rank
@@ Property / cites work @@
+A gentle introduction to Numerica
@@ Property / cites work: A gentle introduction to Numerica / rank @@
+Normal rank
@@ Property / cites work @@
+Newton: Constraint programming over nonlinear constraints
+Normal rank
@@ Property / cites work @@
+Interval propagation and search on directed acyclic graphs for numerical constraint solving
+Normal rank