Bernard Jurkowiak

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

3 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 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 Bernard Jurkowiak, Chu Min Li, Gil Utard: Parallelizing Satz Using Dynamic Workload Balancing. Electronic Notes in Discrete Mathematics 9: 174-189 (2001)

	2005
3		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		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		Bernard Jurkowiak, Chu Min Li, Gil Utard: Parallelizing Satz Using Dynamic Workload Balancing. Electronic Notes in Discrete Mathematics 9: 174-189 (2001)

Coauthor Index