@misc{indiciae6a298240e4f3,
  title = {Solving Set Constraint Satisfaction Problems using ROBDDs},
  author = {P. J. Hawkins and V. Lagoon and P. J. Stuckey},
  year = {2011},
  doi = {10.1613/jair.1638},
  url = {https://arxiv.org/abs/1109.2139},
  note = {Source identifier: 1109.2139}
}