@misc{indiciaef01dec9d51cd,
  title = {Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability},
  author = {Miloš Chromý and Petr Kučera},
  year = {2018},
  url = {https://arxiv.org/abs/1808.01774},
  note = {Source identifier: 1808.01774}
}