Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
type: Item
instance of: scholarly article
title: Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
author: Haokun Li
author: Bican Xia
author: Huiying Zhang
author: Tao Zheng
published in: Journal of Symbolic Computation
publication date: 2022-11-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/2102.00823
Mathematics Subject Classification ID: 68Wxx
Mathematics Subject Classification ID: 13Pxx
Mathematics Subject Classification ID: 14-XX
zbMATH DE Number: 7621056
zbMATH Keywords: cylindrical algebraic decomposition
zbMATH Keywords: variable ordering
zbMATH Keywords: chordality
zbMATH Keywords: polynomial
describes a project that uses: DISCOVERER
describes a project that uses: QEPCAD
describes a project that uses: Chordal
MaRDI profile type: Publication
OpenAlex ID: W4307046631
cites work: Maximum cardinality search for computing minimal triangulations of graphs
cites work: Q4288578
cites work: Optimising Problem Formulation for Cylindrical Algebraic Decomposition
cites work: Truth table invariant cylindrical algebraic decomposition
cites work: Improved projection for cylindrical algebraic decomposition
cites work: Open non-uniform cylindrical algebraic decompositions
cites work: Chordality Preserving Incremental Triangular Decomposition and Its Implementation
cites work: Computing cylindrical algebraic decomposition via triangular decomposition
cites work: Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
cites work: Exploiting chordal structure in polynomial ideals: a Gröbner bases approach
cites work: Chordal Networks of Polynomial Ideals
cites work: Q4079605
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Q4400928
cites work: Efficient projection orders for CAD
cites work: Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
cites work: Proving inequalities and solving global optimization problems via simplified CAD projection
cites work: Open weak CAD and its applications
cites work: Variant quantifier elimination
cites work: Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
cites work: An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
cites work: Q4391223
cites work: On the Chordality of Simple Decomposition in Top-Down Style
cites work: Chordal graphs in triangular decomposition in top-down style
cites work: The Use of Linear Graphs in Gauss Elimination
cites work: Cylindrical algebraic decomposition using validated numerics
cites work: Cylindrical algebraic decomposition using local projections
cites work: Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
cites work: A complete algorithm for automated discovering of a class of inequality-type theorems
DOI: 10.1016/J.JSC.2022.10.009
description: scientific article; zbMATH DE number 7621056