Search Results for author: Huiying Zhang

Found 1 papers, 0 papers with code

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

no code implementations1 Feb 2021 Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng

This property indicates that when the corresponding perfect elimination tree has a lower height, the full set of projection polynomials also tends to have a smaller "size".

Symbolic Computation

Cannot find the paper you are looking for? You can Submit a new open access paper.