SATenstein: Automatically Building Local Search SAT Solvers from Components.

Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

Browse the full IJCAI paper archive.