TY  - RPRT
TI  - Solving Set Constraint Satisfaction Problems using ROBDDs
AU  - P. J. Hawkins
AU  - V. Lagoon
AU  - P. J. Stuckey
PY  - 2011
DO  - 10.1613/jair.1638
UR  - https://arxiv.org/abs/1109.2139
ID  - 1109.2139
ER  -