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

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