Conference proceedings article
SC-Square: Satisfiability Checking Meets Symbolic Computation
Publication Details
Authors: | Seiler, W. |
Editor: | Kohlhase, M.; et al |
Publisher: | Springer |
Place: | Berlin/Heidelber |
Publication year: | 2016 |
Pages range : | 28-43 |
Book title: | Conference on Intelligent Computer Mathematics (CICM 2016) |
Title of series: | Lecture Notes in Artificial Intelligence |
Number in series: | 9791 |
