![](/img/cover-not-exists.png)
[ACM Press the 2015 ACM - Bath, United Kingdom (2015.07.06-2015.07.09)] Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 - Building Bridges between Symbolic Computation and Satisfiability Checking
Abraham, ErikaYear:
2015
Language:
english
DOI:
10.1145/2755996.2756636
File:
PDF, 458 KB
english, 2015