@misc{indiciae7de871689406,
  title = {Generating Difficult SAT Instances by Preventing Triangles},
  author = {Guillaume Escamocher and Barry O'Sullivan and Steven David Prestwich},
  year = {2019},
  url = {https://arxiv.org/abs/1903.03592},
  note = {Source identifier: 1903.03592}
}