Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061): Difference between revisions

@@ Property / cites work @@
+Maximum cardinality search for computing minimal triangulations of graphs
+Normal rank
@@ Property / cites work @@
+Q4288578
@@ Property / cites work: Q4288578 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimising Problem Formulation for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Truth table invariant cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Open Non-uniform Cylindrical Algebraic Decompositions
+Normal rank
@@ Property / cites work @@
+Chordality Preserving Incremental Triangular Decomposition and Its Implementation
+Normal rank
@@ Property / cites work @@
+Computing cylindrical algebraic decomposition via triangular decomposition
+Normal rank
@@ Property / cites work @@
+Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
+Normal rank
@@ Property / cites work @@
+Exploiting Chordal Structure in Polynomial Ideals: A Gröbner Bases Approach
+Normal rank
@@ Property / cites work @@
+Chordal Networks of Polynomial Ideals
@@ Property / cites work: Chordal Networks of Polynomial Ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4400928
@@ Property / cites work: Q4400928 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient projection orders for CAD
@@ Property / cites work: Efficient projection orders for CAD / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Proving inequalities and solving global optimization problems via simplified CAD projection
+Normal rank
@@ Property / cites work @@
+Open weak CAD and its applications
@@ Property / cites work: Open weak CAD and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Variant quantifier elimination
@@ Property / cites work: Variant quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Chordality of Simple Decomposition in Top-Down Style
+Normal rank
@@ Property / cites work @@
+Chordal graphs in triangular decomposition in top-down style
+Normal rank
@@ Property / cites work @@
+The Use of Linear Graphs in Gauss Elimination
@@ Property / cites work: The Use of Linear Graphs in Gauss Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using local projections
+Normal rank
@@ Property / cites work @@
+Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
+Normal rank
@@ Property / cites work @@
+A complete algorithm for automated discovering of a class of inequality-type theorems
+Normal rank