Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.

Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng

Browse the full ISSAC paper archive.