A
Menu
July 13, 2021 conference-paper

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

International Symposium on Symbolic and Algebraic Computation

DOI: 10.1145/3452143.3465520 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 7

1 result

References 0