@misc{indiciaefb357ed6a99b,
  title = {Unsatisfiable (k,(4*2\textasciicircum{}k/k))-CNF formulas},
  author = {Heidi Gebauer},
  year = {2008},
  url = {https://arxiv.org/abs/0810.1904},
  note = {Source identifier: 0810.1904}
}