A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.

Bernard Jurkowiak Chu Min Li Gil Utard

Published in: J. Autom. Reason. (2005)

Keyphrases

sat solvers
orders of magnitude
constraint satisfaction
sat solving
garbage collection
search space
search strategies
sat problem
sat instances
propositional satisfiability
constraint satisfaction problems
language model
search tree
special case
reinforcement learning
weighted max sat
clause learning sat solvers