TY  - RPRT
TI  - Using CSP To Improve Deterministic 3-SAT
AU  - Konstantin Kutzkov
AU  - Dominik Scheder
PY  - 2010
UR  - https://arxiv.org/abs/1007.1166
ID  - 1007.1166
ER  -