Zhangpeng Zhu

Publication Activity (10 Years)

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

Top Topics

Variable Ordering

Strongly Connected Components

Artificial Neural Networks

Top Venues

Publications

Changbo Chen, Zhangpeng Zhu, Haoyu Chi
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. ICMS (2020)