Satisfiability checking and symbolic computation

Ábrahám, Erika; Brain, M.; England, M.; Forrest, S.; Bigatti, A. M.; Cimatti, A.; Becker, B.; Seiler, W. M.; Kroening, D.; Fontaine, P.; Buchberger, B.; Davenport, J. H.; Griggio, A.; Abbott, J.; Sturm, T.

doi:1932-2232

TY  - JOUR
AU  - Ábrahám, Erika
AU  - Fontaine, P.
AU  - Forrest, S.
AU  - Griggio, A.
AU  - Kroening, D.
AU  - Seiler, W. M.
AU  - Sturm, T.
AU  - Abbott, J.
AU  - Becker, B.
AU  - Bigatti, A. M.
AU  - Brain, M.
AU  - Buchberger, B.
AU  - Cimatti, A.
AU  - Davenport, J. H.
AU  - England, M.
TI  - Satisfiability checking and symbolic computation
JO  - ACM Communications in computer algebra : ACM CCA
VL  - 50
IS  - 4
SN  - 1932-2240
CY  - New York, NY
PB  - ACM
M1  - RWTH-2017-04118
SP  - 145-147
PY  - 2016
N1  - 2017 Article
LB  - PUB:(DE-HGF)16
UR  - <Go to ISI:>//WOS:000397339600003
DO  - DOI:10.1145/3055282.3055285
UR  - https://publications.rwth-aachen.de/record/688933
ER  -

h1

h2

h3

h4

h5

h6

RWTH

Kontakt

RWTH Publications

Allgemeines