Sign in

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

Haokun LiBican XiaHuiying ZhangTao Zheng
Published in: ISSAC (2021)
Keyphrases
  • variable ordering
  • strongly connected components
  • upper bound