TY  - RPRT
TI  - Constraint Satisfaction and Semilinear Expansions of Addition over the Rationals and the Reals
AU  - Peter Jonsson
AU  - Johan Thapper
PY  - 2015
UR  - https://arxiv.org/abs/1506.00479
ID  - 1506.00479
ER  -