@misc{indiciaedad156f8725a,
  title = {On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution},
  author = {Jakob Nordström and Alexander Razborov},
  year = {2009},
  url = {https://arxiv.org/abs/0910.3127},
  note = {Source identifier: 0910.3127}
}