Author:
Publication: Artificial Intelligence
Editorial Board
SATenstein: Automatically building local search SAT solvers from components