Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms.

Lintao Zhang, Sharad Malik

Browse the full SAT paper archive.