@misc{indiciaed9c148c3ce58,
  title = {Satisfiability of Almost Disjoint CNF Formulas},
  author = {Dominik Scheder},
  year = {2008},
  url = {https://arxiv.org/abs/0807.1282},
  note = {Source identifier: 0807.1282}
}