2: Satisfiability Checking Meets Symbolic Computation - (Project Paper) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001. 2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). In Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de de Moura, Frank Wm. Tompa, editors, Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Volume 9791 of Lecture Notes in Computer Science, pages 28-43, Springer, 2016. [doi]

This author has not been identified. Look up 'Erika Ábrahám' in GoogleThis author has not been identified. Look up 'John Abbott' in GoogleThis author has not been identified. Look up 'Bernd Becker' in GoogleThis author has not been identified. Look up 'Anna Maria Bigatti' in GoogleThis author has not been identified. Look up 'Martin Brain' in GoogleThis author has not been identified. Look up 'Bruno Buchberger' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'James H. Davenport' in GoogleThis author has not been identified. Look up 'Matthew England' in GoogleThis author has not been identified. Look up 'Pascal Fontaine' in GoogleThis author has not been identified. Look up 'Stephen Forrest' in GoogleThis author has not been identified. Look up 'Alberto Griggio' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Werner M. Seiler' in GoogleThis author has not been identified. Look up 'Thomas Sturm 0001' in Google

runs on WebDSL