Parallelizing Satz Using Dynamic Workload Balancing. - Bernard Jurkowiak; Chu Min Li 001; Gil Utard (Electron. Notes Discret. Math., 2001)

A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container. - Wen Qi Huang 001; Yu Li 012; Bernard Jurkowiak; Chu Min Li 001; Ru Chu Xu (CP, 2003)

A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. - Bernard Jurkowiak; Chu Min Li 001; Gil Utard (J. Autom. Reason., 2005)