TY  - RPRT
TI  - Renormalization group approach to satisfiability
AU  - S. N. Coppersmith
PY  - 2006
UR  - https://arxiv.org/abs/cond-mat/0509160
ID  - cond-mat/0509160
ER  -