Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi. Stochastic Local Search for Satisfiability Modulo Theories. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 1136-1143, AAAI Press, 2015. [doi]