A. Fröhlich, A. Biere, C. Wintersteiger, and Y. Hamadi, “Stochastic Local Search for Satisfiability Modulo Theories”, AAAI, vol. 29, no. 1, Feb. 2015.