@misc{indiciaea9249c8da06d,
  title = {Generalizing Boolean Satisfiability II: Theory},
  author = {H. E. Dixon and M. L. Ginsberg and E. M. Luks and A. J. Parkes},
  year = {2011},
  doi = {10.1613/jair.1555},
  url = {https://arxiv.org/abs/1109.2134},
  note = {Source identifier: 1109.2134}
}