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



Authors/Editors

Last updated on 2019-01-11 at 16:04