@misc{indiciae853bf955da34,
  title = {Combining the \$k\$-CNF and XOR Phase-Transitions},
  author = {Jeffrey M. Dudek and Kuldeep S. Meel and Moshe Y. Vardi},
  year = {2017},
  url = {https://arxiv.org/abs/1702.08392},
  note = {Source identifier: 1702.08392}
}