Yaru Yuan

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Decomposition Methods

Benchmark Datasets

Top Venues

Publications

Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. CASC (2024)