A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
DOI10.1007/978-3-030-52200-1_30zbMath1503.68311arXiv2005.11251OpenAlexW3026474523MaRDI QIDQ5041068
Matthew England, Dorian Florescu
Publication date: 13 October 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.11251
mathematical softwarecylindrical algebraic decompositionmachine learningvariable orderingScikit-Learn
Symbolic computation and algebraic computation (68W30) Learning and adaptive systems in artificial intelligence (68T05) Computational real algebraic geometry (14Q30)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Code optimization in FORM
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Machine learning for mathematical software
- TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
- Using machine learning to improve cylindrical algebraic decomposition
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- Learning Rate Based Branching Heuristic for SAT Solvers
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition
- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
- Computing cylindrical algebraic decomposition via triangular decomposition
- New Domains for Applied Quantifier Elimination
- Efficient projection orders for CAD
- Solving the Conjugacy Decision Problem via Machine Learning
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
This page was built for publication: A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs