TY  - RPRT
TI  - Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep
AU  - Michael Pinsker
PY  - 2022
UR  - https://arxiv.org/abs/2203.17182
ID  - 2203.17182
ER  -