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

by Max Böhm, Ewald Speckenmeyer
Venue:Ann. Math. Artif. Intell