@inproceedings{ijcai2009p93,
  title     = {SATenstein: Automatically Building Local Search SAT Solvers from Components},
  author    = {KhudaBukhsh, Ashiqur R. and Xu, Lin and Hoos, Holger H. and Leyton-Brown, Kevin},
  booktitle = {Proceedings of the Twenty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-09}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Hiroaki Kitano},
  pages     = {517--523},
  year      = {2009},
  url       = {https://ijcai.org/proceedings/2009/93},
}