A Fast Parallel SAT-Solver - Efficient Workload Balancing (1996)

by M Böhm, E Speckenmeyer
Venue:Annals of Mathematics and Artificial Intelligence