Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition.

Matthew England, James H. Davenport

Browse the full SYNASC paper archive.