Journal article

Cache Conscious Data Structures for Boolean Satisfiability Solvers

GG CHU, A HARWOOD, P STUCKEY

Journal of Satisfiability, Boolean Modeling and Computation | Published : 2009