TY  - RPRT
TI  - Constraint Satisfaction Problems around Skolem Arithmetic
AU  - Christian Glasser
AU  - Peter Jonsson
AU  - Barnaby Martin
PY  - 2015
UR  - https://arxiv.org/abs/1504.04181
ID  - 1504.04181
ER  -