@INPROCEEDINGS{Satenstein-IJCAI,
    author = "Ashiqur R. KhudaBukhsh and Lin Xu and Holger H. Hoos and Kevin Leyton-Brown",
    title = "SATenstein: Automatically Building Local Search SAT Solvers from Components",
    YEAR =  {2009},
    booktitle = {Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)},
    pages = {517--524}
}