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

83 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.

  • Projects

  • Cite this

    Huang, Z., England, M., Wilson, D., Davenport, J. H., & Paulson, L. C. (2015). A comparison of three heuristics to choose the variable ordering for CAD. In E. Zima, M. Caboara, J-G. Dumas, L. Gonzalez-Vega, M. Wester, & L. Zhi (Eds.), ACM Communications in Computer Algebra (3-4 ed., Vol. 48, pp. 121-123). Association for Computing Machinery. https://doi.org/10.1145/2733693.2733706