@misc{indiciae357b8db76680,
  title = {Synthesizing Invariant Clusters for Polynomial Programs by Semidefinite Programming},
  author = {Qiuye Wang and Lihong Zhi and Naijun Zhan and Bai Xue and Zhi-hong Yang},
  year = {2022},
  url = {https://arxiv.org/abs/1903.04668},
  note = {Source identifier: 1903.04668}
}