Experience with heuristics, benchmarks & standards for cylindrical algebraic decomposition (2016)

First Author: England M.

Attributed to: Real Geometry and Connectedness via Triangular Description funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85032108657

Type: Other

Volume: 1804

Parent Publication: CEUR Workshop Proceedings

ISSN: 16130073