Login / Signup
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions.
Changbo Chen
Rui-Juan Jing
Chengrong Qian
Yaru Yuan
Yuegang Zhao
Published in:
CASC (2024)
Keyphrases
</>
benchmark datasets
database
neural network
singular value decomposition
decision trees
feature set
synthetic datasets
decomposition methods