Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aina Niemetz, Mathias Preiner, Armin Biere. Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories. In Swarat Chaudhuri, Azadeh Farzan, editors, Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Volume 9779 of Lecture Notes in Computer Science, pages 199-217, Springer, 2016. [doi]

This author has not been identified. Look up 'Aina Niemetz' in GoogleThis author has not been identified. Look up 'Mathias Preiner' in GoogleThis author has not been identified. Look up 'Armin Biere' in Google

runs on WebDSL