TY  - RPRT
TI  - Analysis of the computational complexity of solving random satisfiability problems using branch and bound search algorithms
AU  - Simona Cocco
AU  - Remi Monasson
PY  - 2000
DO  - 10.1007/s100510170101
UR  - https://arxiv.org/abs/cond-mat/0012191
ID  - cond-mat/0012191
ER  -