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

Haokun Li, Bican Xia, Huiying Zhang +1

Cylindrical algebraic decomposition (CAD) plays an important role in the field of real algebraic geometry and many other areas. As is well-known, the choice of variable ordering wh…