Stochastic Local Search for Satisfiability Modulo Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Andreas Fröhlich' in GoogleThis author has not been identified. Look up 'Armin Biere' in GoogleThis author has not been identified. Look up 'Christoph M. Wintersteiger' in GoogleThis author has not been identified. Look up 'Youssef Hamadi' in Google

runs on WebDSL