Sign in
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition.
Matthew England
James H. Davenport
Published in:
SC²@SYNASC (2016)
Keyphrases
</>
search algorithm
search heuristics
widely accepted
decomposition method
real time
website
heuristic search
iso iec
practical experiences
database
benchmark suite
algebraic structure
decomposition algorithm
learning curve
user experience
tabu search
higher order
neural network
databases