A comparison of three heuristics to choose the variable ordering for CAD
classification
💻 cs.SC
keywords
orderingalgebraicchoiceheuristicsproblemsthreevariableanother
read the original abstract
Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple in another. Here we discuss a recent experiment comparing three heuristics for making this choice on thousands of examples.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.