Cache Performance Study of Portfolio-Based Parallel CDCL SAT Solvers. - Roberto Asín; Juan Olate; Leo Ferres (CoRR, 2013)