Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
From MaRDI portal
Recommendations
- New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
- scientific article; zbMATH DE number 7339173
- Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
- Efficient projection orders for CAD
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
Cites work
- A complete algorithm for automated discovering of a class of inequality-type theorems
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- Chordal graphs in triangular decomposition in top-down style
- Chordal networks of polynomial ideals
- Chordality preserving incremental triangular decomposition and its implementation
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Computing cylindrical algebraic decomposition via triangular decomposition
- Cylindrical algebraic decomposition using local projections
- Cylindrical algebraic decomposition using validated numerics
- Efficient projection orders for CAD
- Exploiting chordal structure in polynomial ideals: a Gröbner bases approach
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 554762 (Why is no real title available?)
- scientific article; zbMATH DE number 1157658 (Why is no real title available?)
- scientific article; zbMATH DE number 1182838 (Why is no real title available?)
- Improved projection for cylindrical algebraic decomposition
- Maximum cardinality search for computing minimal triangulations of graphs
- On the Chordality of Simple Decomposition in Top-Down Style
- Open non-uniform cylindrical algebraic decompositions
- Open weak CAD and its applications
- Optimising problem formulation for cylindrical algebraic decomposition
- Partial cylindrical algebraic decomposition for quantifier elimination
- Proving inequalities and solving global optimization problems via simplified CAD projection
- Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
- The Use of Linear Graphs in Gauss Elimination
- Truth table invariant cylindrical algebraic decomposition
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- Variant quantifier elimination
Cited in
(4)- scientific article; zbMATH DE number 7339173 (Why is no real title available?)
- A dataset for suggesting variable orderings for cylindrical algebraic decompositions
- Choosing variable orderings based on elimination tree for sparse triangular decomposition
- Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition
This page was built for publication: Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2100061)
