@misc{indiciaed4b5a914a4f0,
  title = {Generalizing Boolean Satisfiability III: Implementation},
  author = {H. E. Dixon and M. L. Ginsberg and D. Hofer and E. M. Luks and A. J. Parkes},
  year = {2011},
  doi = {10.1613/jair.1656},
  url = {https://arxiv.org/abs/1109.2142},
  note = {Source identifier: 1109.2142}
}