@misc{indiciae3518ca0a0690, title = {Constraint Satisfaction Problems around Skolem Arithmetic}, author = {Christian Glasser and Peter Jonsson and Barnaby Martin}, year = {2015}, url = {https://arxiv.org/abs/1504.04181}, note = {Source identifier: 1504.04181} }