@misc{indiciae1e571eee4058,
  title = {Generalizing Boolean Satisfiability I: Background and Survey of Existing Work},
  author = {H. E. Dixon and M. L. Ginsberg and A. J. Parkes},
  year = {2011},
  doi = {10.1613/jair.1353},
  url = {https://arxiv.org/abs/1107.0040},
  note = {Source identifier: 1107.0040}
}