TY - RPRT TI - Behavior of heuristics and state space structure near SAT/UNSAT transition AU - John Ardelius AU - Erik Aurell PY - 2006 DO - 10.1103/physreve.74.037702 UR - https://arxiv.org/abs/cond-mat/0601703 ID - cond-mat/0601703 ER -