Stochastic Local Search for Satisfiability Modulo Theories.

Andreas Frhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi

Browse the full AAAI paper archive.