CINECA IRIS Institutional Research Information System
IRIS è l'Anagrafe della ricerca dell'Università degli Studi di Trento, e ha lo scopo di raccogliere, documentare, conservare e diffondere, anche ad accesso aperto, la produzione scientifica degli autori afferenti all'Università degli Studi di Trento.
EnglishSymbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC2 to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.
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, M.. - In: ACM COMMUNICATIONS IN COMPUTER ALGEBRA. - ISSN 1932-2240. - 50:4(2016), pp. 145-147. [10.1145/3055282.3055285]
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
| Titolo: | Satisfiability checking and symbolic computation | |
| Autori: | Á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, M. | |
| Autori Unitn: | ||
| Titolo del periodico: | ACM COMMUNICATIONS IN COMPUTER ALGEBRA | |
| Anno di pubblicazione: | 2016 | |
| Numero e parte del fascicolo: | 4 | |
| Codice identificativo Scopus: | 2-s2.0-85014400906 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1145/3055282.3055285 | |
| Handle: | http://hdl.handle.net/11572/342989 | |
| Citazione: | 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, M.. - In: ACM COMMUNICATIONS IN COMPUTER ALGEBRA. - ISSN 1932-2240. - 50:4(2016), pp. 145-147. [10.1145/3055282.3055285] | |
| Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |
File in questo prodotto:
Copyright © 2022