TY  - RPRT
TI  - Constraint satisfaction problems in clausal form
AU  - Oliver Kullmann
PY  - 2011
DO  - 10.3233/fi-2011-428; 10.3233/fi-2011-429
UR  - https://arxiv.org/abs/1103.3693
ID  - 1103.3693
ER  -