@misc{indiciaef0a648062d37,
  title = {Improving PPSZ for 3-SAT using Critical Variables},
  author = {Timon Hertli and Robin A. Moser and Dominik Scheder},
  year = {2011},
  url = {https://arxiv.org/abs/1009.4830},
  note = {Source identifier: 1009.4830}
}