@misc{indiciae824c0b99f89d,
  title = {The Curse and Blessing of Not-All-Equal in k-Satisfiability},
  author = {S. Cliff Liu},
  year = {2019},
  url = {https://arxiv.org/abs/1809.04312},
  note = {Source identifier: 1809.04312}
}