A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions.

Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao

Browse the full CASC paper archive.