Login / Signup
A Fast Parallel SAT-Solver - Efficient Workload Balancing.
Max Böhm
Ewald Speckenmeyer
Published in:
Ann. Math. Artif. Intell. (1996)
Keyphrases
</>
sat solvers
genetic algorithm
orders of magnitude
sat problem
sat solving
search strategy