TY  - RPRT
TI  - 2-Sat Sub-Clauses and the Hypernodal Structure of the 3-Sat Problem
AU  - D. B. Powell
PY  - 2004
UR  - https://arxiv.org/abs/cs/0404038
ID  - cs/0404038
ER  -