![](/img/cover-not-exists.png)
Satisfiability checking and symbolic computation
Ábrahám, E., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England,Volume:
50
Language:
english
Journal:
ACM Communications in Computer Algebra
DOI:
10.1145/3055282.3055285
Date:
February, 2017
File:
PDF, 496 KB
english, 2017