@misc{indiciae935769f60782,
  title = {Algorithms for Max Hamming Exact Satisfiability},
  author = {Vilhelm Dahllof},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0509038},
  note = {Source identifier: cs/0509038}
}