A fast parallel SAT-solver – efficient workload balancing (1996)

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