![]() | ![]() |
| 2003 | ||
|---|---|---|
| 2 | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page