Published in
ACM Communications in Computer Algebra, 3/4(48), p. 121-123
Links
- Association for Computing Machinery (ACM)
- [opus.bath.ac.uk] | PDF
- [arxiv.org] | PDF
- [www.researchgate.net] | PDF
Tools
A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition
Journal article published in 2014 by
Zongyan Huang,
Matthew England,
David Wilson,
James H. Davenport,
Lawrence C. Paulson
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 