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

by Max Böhm , Ewald Speckenmeyer
Citations:47 - 3 self