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

Lintao Zhang Sharad Malik

Published in: SAT (2003)

Keyphrases

efficient implementation
sat solvers
orders of magnitude
propositional satisfiability
learning algorithm
computational complexity
search engine
information retrieval systems
special case
state space