| |
| 2005 | ||
|---|---|---|
| 3 | EE | Bernard Jurkowiak, Chu Min Li, Gil Utard: A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. J. Autom. Reasoning 34(1): 73-101 (2005) |
| 2003 | ||
| 2 | EE | Wen Qi Huang, Yu Li, Bernard Jurkowiak, Chu Min Li, Ru Chu Xu: A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container. CP 2003: 868-872 |
| 2001 | ||
| 1 | EE | Bernard Jurkowiak, Chu Min Li, Gil Utard: Parallelizing Satz Using Dynamic Workload Balancing. Electronic Notes in Discrete Mathematics 9: 174-189 (2001) |
| 1 | Wen Qi Huang | [2] |
| 2 | Chu Min Li | [1] [2] [3] |
| 3 | Yu Li | [2] |
| 4 | Gil Utard | [1] [3] |
| 5 | Ru Chu Xu | [2] |