TY  - RPRT
TI  - Constraint satisfaction parameterized by solution size
AU  - Andrei A. Bulatov
AU  - Dániel Marx
PY  - 2014
UR  - https://arxiv.org/abs/1206.4854
ID  - 1206.4854
ER  -