New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

DOI10.1007/978-3-031-14788-3_17OpenAlexW4283706141MaRDI QIDQ2109991

Matthew England, Tereso del Río

Publication date: 21 December 2022

Full work available at URL: https://arxiv.org/abs/2206.13480

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition

Uses Software

• RegularChains
• SMT-LIB
• CylindricalAlgebraicDecompose

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Validity proof of Lazard's method for CAD construction
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
• Using machine learning to improve cylindrical algebraic decomposition
• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
• Fully incremental cylindrical algebraic decomposition
• Cylindrical algebraic decomposition with equational constraints
• An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
• Open Non-uniform Cylindrical Algebraic Decompositions
• Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
• Optimising Problem Formulation for Cylindrical Algebraic Decomposition
• Cylindrical Algebraic Decomposition in the RegularChains Library
• Computing cylindrical algebraic decomposition via triangular decomposition
• Efficient projection orders for CAD
• Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
• Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
• Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
• Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
• Truth table invariant cylindrical algebraic decomposition

This page was built for publication: New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis