Quick start guide for SATenstein-LS
Ashiqur R. KhudaBukhsh · 2009
SATenstein-LSis a highly-parameterized (41 parameters in total) generalized local search algorithm that is built by combining components from existing high-performance SLS (Stochastic Local Search) algorithm. SATenstein-LScan be configured to instantiate a broad range of existing high-performance SLS-based SAT solvers, and also