@misc{indiciaebe18f767cbf6,
  title = {Compact linear programs for 2SAT},
  author = {David Avis and Hans Raj Tiwary},
  year = {2018},
  url = {https://arxiv.org/abs/1702.06723},
  note = {Source identifier: 1702.06723}
}