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

Lintao Zhang, Sharad Malik (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics