On the limit of branching rules for hard random unsatisfiable 3-SAT. - Chu Min Li 001; Sylvain Gérard (Discret. Appl. Math., 2003)