@misc{indiciae839c7a4ab0f3,
  title = {Bounds for variables with few occurrences in conjunctive normal forms},
  author = {Oliver Kullmann and Xishun Zhao},
  year = {2017},
  url = {https://arxiv.org/abs/1408.0629},
  note = {Source identifier: 1408.0629}
}