Login / Signup
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.
Haokun Li
Bican Xia
Huiying Zhang
Tao Zheng
Published in:
ISSAC (2021)
Keyphrases
</>
variable ordering
strongly connected components
upper bound