@misc{indiciae4fb9feef5493,
  title = {Should Algorithms for Random SAT and Max-SAT be Different?},
  author = {Sixue Liu and Gerard de Melo},
  year = {2018},
  url = {https://arxiv.org/abs/1610.00442},
  note = {Source identifier: 1610.00442}
}