TY  - RPRT
TI  - On the computational complexity of read once resolution decidability in 2CNF formulas
AU  - Hans Kleine Büning
AU  - Piotr Wojciechowski
AU  - K. Subramani
PY  - 2016
UR  - https://arxiv.org/abs/1610.04523
ID  - 1610.04523
ER  -