TY  - RPRT
TI  - A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs
AU  - Dorian Florescu
AU  - Matthew England
PY  - 2020
DO  - 10.1007/978-3-030-52200-1_30
UR  - https://arxiv.org/abs/2005.11251
ID  - 2005.11251
ER  -