TY  - RPRT
TI  - Compact linear programs for 2SAT
AU  - David Avis
AU  - Hans Raj Tiwary
PY  - 2018
UR  - https://arxiv.org/abs/1702.06723
ID  - 1702.06723
ER  -