Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure

DOI10.1016/J.JSC.2022.10.009OpenAlexW4307046631MaRDI QIDQ2100061FDOQ2100061

Huiying Zhang, Haokun Li, Bican Xia, Tao Zheng

Publication date: 21 November 2022

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

polynomialcylindrical algebraic decompositionvariable orderingchordality

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx) Computational aspects and applications of commutative rings (13Pxx) Algebraic geometry (14-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A complete algorithm for automated discovering of a class of inequality-type theorems
• Exploiting chordal structure in polynomial ideals: a Gröbner bases approach
• Partial cylindrical algebraic decomposition for quantifier elimination
• Computing cylindrical algebraic decomposition via triangular decomposition
• Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
• An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
• Open weak CAD and its applications
• Proving inequalities and solving global optimization problems via simplified CAD projection
• Improved projection for cylindrical algebraic decomposition
• The Use of Linear Graphs in Gauss Elimination
• Cylindrical algebraic decomposition using validated numerics
• Variant quantifier elimination
• Maximum cardinality search for computing minimal triangulations of graphs
• Optimising Problem Formulation for Cylindrical Algebraic Decomposition
• Efficient projection orders for CAD
• Truth table invariant cylindrical algebraic decomposition
• Chordality Preserving Incremental Triangular Decomposition and Its Implementation
• Cylindrical algebraic decomposition using local projections
• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
• Open non-uniform cylindrical algebraic decompositions
• 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
• On the Chordality of Simple Decomposition in Top-Down Style
• Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
• Chordal Networks of Polynomial Ideals

Cited In (2)

• Title not available (Why is that?)
• A dataset for suggesting variable orderings for cylindrical algebraic decompositions

Uses Software

• QEPCAD
• DISCOVERER
• Chordal

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)