TY  - RPRT
TI  - Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
AU  - Assalé Adjé
AU  - Pierre-Loïc Garoche
AU  - Victor Magron
PY  - 2015
UR  - https://arxiv.org/abs/1503.07025
ID  - 1503.07025
ER  -