SATenstein: Automatically building local search SAT solvers from components (2009)

by A R KhudaBukhsh, L Xu, H H Hoos, K Leyton-Brown
Venue:In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09