Login / Signup
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers.
George Katsirelos
Ashish Sabharwal
Horst Samulowitz
Laurent Simon
Published in:
AAAI (2013)
Keyphrases
</>
sat solvers
clause learning
clause learning sat solvers
information retrieval
search space
constraint satisfaction
unit propagation
co occurrence
search tree