A comparison of three heuristics to choose the variable ordering for CAD

Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
107 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationACM Communications in Computer Algebra
EditorsE. Zima, M. Caboara, J-G. Dumas, L. Gonzalez-Vega, M. Wester, L. Zhi
Place of PublicationNew York, U. S. A.
PublisherAssociation for Computing Machinery
Pages121-123
Number of pages3
Volume48
Edition3-4
DOIs
Publication statusPublished - Feb 2015

Fingerprint Dive into the research topics of 'A comparison of three heuristics to choose the variable ordering for CAD'. Together they form a unique fingerprint.

Cite this