TY  - RPRT
TI  - Almost 2-SAT is Fixed-Parameter Tractable
AU  - Igor Razgon
AU  - Barry O'Sullivan
PY  - 2008
UR  - https://arxiv.org/abs/0801.1300
ID  - 0801.1300
ER  -