TY  - RPRT
TI  - General non-realizability certificates for spheres with linear programming
AU  - Joao Gouveia
AU  - Antonio Macchia
AU  - Amy Wiebe
PY  - 2021
UR  - https://arxiv.org/abs/2109.15247
ID  - 2109.15247
ER  -