TY  - RPRT
TI  - Subtropical Satisfiability
AU  - Pascal Fontaine
AU  - Mizuhito Ogawa
AU  - Thomas Sturm
AU  - Xuan Tung Vu
PY  - 2017
DO  - 10.1007/978-3-319-66167-4_11
UR  - https://arxiv.org/abs/1706.09236
ID  - 1706.09236
ER  -