@misc{indiciaef37425206f4c,
  title = {On the size of minimal unsatisfiable formulas},
  author = {Choongbum Lee},
  year = {2008},
  url = {https://arxiv.org/abs/0811.0427},
  note = {Source identifier: 0811.0427}
}