@inproceedings{FroehlichBiereWintersteigerHamadi-AAAI15,
  author    = {Andreas Fr{\"{o}}hlich and
               Armin Biere and
               Christoph M. Wintersteiger and
               Youssef Hamadi},
  title     = {Stochastic Local Search for Satisfiability Modulo Theories},
  booktitle = {{AAAI}},
  pages     = {1136--1143},
  publisher = {{AAAI} Press},
  year      = {2015}
}