2003 | ||
---|---|---|
2 | EE | Chu Min Li, Sylvain Gérard: On the limit of branching rules for hard random unsatisfiable 3-SAT. Discrete Applied Mathematics 130(2): 277-290 (2003) |
2000 | ||
1 | Chu Min Li, Sylvain Gérard: On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT. ECAI 2000: 98-102 |
1 | Chu Min Li | [1] [2] |