Search Results for author: Haokun Li

Found 3 papers, 2 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

Generative Low-bitwidth Data Free Quantization

2 code implementations ECCV 2020 Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, JieZhang Cao, Chuangrun Liang, Mingkui Tan

More critically, our method achieves much higher accuracy on 4-bit quantization than the existing data free quantization method.


Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection

1 code implementation1 Mar 2020 Haokun Li, Bican Xia

A new algorithm for deciding the satisfiability of polynomial formulas over the reals is proposed.

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