New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
type: Item
instance of: scholarly article
title: New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
DOI: 10.1007/978-3-031-14788-3_17
author: Tereso del Río
author: Matthew England
publication date: 2022-12-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/2206.13480
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7635705
describes a project that uses: CylindricalAlgebraicDecompose
describes a project that uses: RegularChains
describes a project that uses: SMT-LIB
MaRDI profile type: Publication
OpenAlex ID: W4283706141
cites work: Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
cites work: Truth table invariant cylindrical algebraic decomposition
cites work: Optimising Problem Formulation for Cylindrical Algebraic Decomposition
cites work: Open non-uniform cylindrical algebraic decompositions
cites work: Q5301651
cites work: Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
cites work: An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
cites work: Cylindrical Algebraic Decomposition in the RegularChains Library
cites work: Computing cylindrical algebraic decomposition via triangular decomposition
cites work: Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
cites work: Q4079605
cites work: Efficient projection orders for CAD
cites work: Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
cites work: Improving the use of equational constraints in cylindrical algebraic decomposition
cites work: Cylindrical algebraic decomposition with equational constraints
cites work: Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
cites work: Q4199346
cites work: Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
cites work: Using machine learning to improve cylindrical algebraic decomposition
cites work: Fully incremental cylindrical algebraic decomposition
cites work: Validity proof of Lazard's method for CAD construction
description: scientific article; zbMATH DE number 7635705