@misc{indiciae347955dc2ed7,
  title = {Tighter Hard Instances for PPSZ},
  author = {Pavel Pudlák and Dominik Scheder and Navid Talebanfard},
  year = {2016},
  doi = {10.4230/lipics.icalp.2017.85},
  url = {https://arxiv.org/abs/1611.01291},
  note = {Source identifier: 1611.01291}
}