Login / Signup
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.
Haokun Li
Bican Xia
Huiying Zhang
Tao Zheng
Published in:
CoRR (2021)
Keyphrases
</>
variable ordering
branch and bound algorithm
strongly connected components
evolutionary algorithm
knowledge representation
state space