- Record: found
- Abstract: not found
- Book Chapter: not found
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
\(\mathsf {SC}^\mathsf{2} \) : Satisfiability Checking Meets Symbolic Computation
other
Erika Ábrahám ,
John Abbott ,
Bernd Becker ,
Anna M. 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
July 12 2016
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references36
- Record: found
- Abstract: not found
- Article: not found
The Magma Algebra System I: The User Language
Wieb Bosma, John Cannon, CATHERINE PLAYOUST (1997)
- Record: found
- Abstract: not found
- Article: not found
A machine program for theorem-proving
Martin Davis, George Logemann, Donald Loveland (1962)
- Record: found
- Abstract: not found
- Article: not found
A Computing Procedure for Quantification Theory
Martin Davis, Hilary Putnam (1960)