Cache Conscious Data Structures for Boolean Satisfiability Solvers
Geoffrey Chu, Aaron Harwood, Peter J. Stuckey · Journal on Satisfiability Boolean Modeling and Computation · 2009
Current SAT solvers are well engineered and highly efficient, and significant research effort has been put into creating data structures that can produce maximal efficiency for the core propagation engine within SAT solvers. However, there is still s