Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition.

James H. Davenport

Published in: SC-Square@SIAM AG (2021)

Keyphrases

efficient computation
decomposition method
decomposition algorithm
hierarchical decomposition
lower bound
image decomposition
neural network
information retrieval
decision making
reinforcement learning
artificial neural networks
data model
constraint satisfaction problems
decomposition methods
user behaviour