SAT Modulo Monotonic Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu. SAT Modulo Monotonic 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 3702-3709, AAAI Press, 2015. [doi]

This author has not been identified. Look up 'Sam Bayless' in GoogleThis author has not been identified. Look up 'Noah Bayless' in GoogleThis author has not been identified. Look up 'Holger H. Hoos' in GoogleThis author has not been identified. Look up 'Alan J. Hu' in Google

runs on WebDSL