Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks

von Chen, Changbo
Veröffentlicht in International Congress on Mathematical Software (7. : 2020 : Online) Mathematical software - ICMS 2020 (2020)