TY  - RPRT
TI  - Synthesizing Invariant Clusters for Polynomial Programs by Semidefinite Programming
AU  - Qiuye Wang
AU  - Lihong Zhi
AU  - Naijun Zhan
AU  - Bai Xue
AU  - Zhi-hong Yang
PY  - 2022
UR  - https://arxiv.org/abs/1903.04668
ID  - 1903.04668
ER  -