Bernard Jurkowiak

发表

Parallelizing Satz Using Dynamic Workload Balancing

Gil Utard, Chu Min Li, Chu Min Li, 2001, Electron. Notes Discret. Math..

A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container

Yu Li, Chu Min Li, Chu Min Li, 2003, CP.

A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers

Gil Utard, Chu Min Li, Chu Min Li, 2005, Journal of Automated Reasoning.

Programmation haute performance pour la résolution des problèmes SAT et CSP

Bernard Jurkowiak, 2004 .