A subdivision algorithm to reason on high-degree polynomial constraints over finite domains (Q2294575): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-019-09680-4
@@ Property / DOI: 10.1007/s10472-019-09680-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+clpfd
@@ Property / describes a project that uses: clpfd / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SWI-Prolog
@@ Property / describes a project that uses: SWI-Prolog / 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/s10472-019-09680-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2992719104
@@ Property / OpenAlex ID: W2992719104 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126629263
@@ Property / Wikidata QID: Q126629263 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of Constraint Programming
@@ Property / cites work: Principles of Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form
+Normal rank
@@ Property / cites work @@
+A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form
+Normal rank
@@ Property / cites work @@
+Constraint Logic Programming with Polynomial Constraints over Finite Domains
+Normal rank
@@ Property / cites work @@
+Q4386951
@@ Property / cites work: Q4386951 / rank @@
+Normal rank
@@ Property / cites work @@
+The Bernstein polynomial basis: a centennial retrospective
+Normal rank
@@ Property / cites work @@
+Algorithms for polynomials in Bernstein form
@@ Property / cites work: Algorithms for polynomials in Bernstein form / rank @@
+Normal rank
@@ Property / cites work @@
+Q3732843
@@ Property / cites work: Q3732843 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2738482
@@ Property / cites work: Q2738482 / rank @@
+Normal rank
@@ Property / cites work @@
+Global optimization with spline constraints: a new branch-and-bound method based on B-splines
+Normal rank
@@ Property / cites work @@
+Q5819609
@@ Property / cites work: Q5819609 / rank @@
+Normal rank
@@ Property / cites work @@
+Embarrassingly Parallel Search in Constraint Programming
+Normal rank
@@ Property / cites work @@
+Subdivision methods for solving polynomial equations
+Normal rank
@@ Property / cites work @@
+On the Multivariate Horner Scheme
@@ Property / cites work: On the Multivariate Horner Scheme / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for range computation of polynomials using the Bernstein form
+Normal rank
@@ Property / cites work @@
+Bounds on a polynomial
@@ Property / cites work: Bounds on a polynomial / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic manipulation in the Bernstein form made simple via convolutions
+Normal rank
@@ Property / cites work @@
+Fast construction of constant bound functions for sparse polynomials
+Normal rank
@@ Property / cites work @@
+Matrix methods for the tensorial Bernstein form
@@ Property / cites work: Matrix methods for the tensorial Bernstein form / rank @@
+Normal rank
@@ Property / cites work @@
+SWI-Prolog
@@ Property / cites work: SWI-Prolog / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10472-019-09680-4
@@ Property / DOI: 10.1007/S10472-019-09680-4 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2294575