A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers
Work
Year: 2005
Type: article
Source: Journal of Automated Reasoning
Authors Bernard Jurkowiak, Chu Min Li, Gil Utard
Institution Université de Picardie Jules Verne
Cites: 31
Cited by: 45
Related to: 10
FWCI: 1.929
Citation percentile (by year/subfield): 95.75
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed