TY - RPRT TI - Optimization and Physics: On the satisfiability of random Boolean formulae AU - Marc Mezard PY - 2002 DO - 10.1007/s00023-003-0937-7 UR - https://arxiv.org/abs/cond-mat/0212448 ID - cond-mat/0212448 ER -