Cache Performance Study of Portfolio-Based Parallel CDCL SAT Solvers.

Roberto Asín Juan Olate Leo Ferres

Published in: CoRR (2013)

Keyphrases

sat solvers
orders of magnitude
constraint satisfaction
search strategies
sat solving
sat problem
search tree
sat encodings
search space
max sat
propositional satisfiability
clause learning
sat instances
boolean satisfiability
query processing