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

Matthew England James H. Davenport

Published in: CoRR (2016)

Keyphrases

web services
search heuristics
search algorithm
heuristic search
widely accepted
multiscale
lower bound
search strategies