@misc{indiciaec5700e5d9c69,
  title = {The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas},
  author = {Jeffrey M. Dudek and Kuldeep S. Meel and Moshe Y. Vardi},
  year = {2017},
  url = {https://arxiv.org/abs/1710.06378},
  note = {Source identifier: 1710.06378}
}